fibrations

Here are 5 public repositories matching this topic...

Notes on simple fibrational semantics.

semantics boring-math fibrations

Tools for F-theory model building

julia elliptic-curves fibrations string-theory f-theory

Code for the paper: "Fast algorithm to identify minimal patterns of synchrony through fibration symmetries in large directed networks"

julia symmetry fibrations

My Notes on the Fibrational Semantics of Simple, Polymorphic, and Dependent Type Theory

A tool to find virtual algebraic fibrations of right-angled Coxeter groups.

To associate your repository with the fibrations topic, visit your repo's landing page and select "manage topics."