There are 0 repository under fibrations topic.
Tools for F-theory model building
Code for the paper: "Fast algorithm to identify minimal patterns of synchrony through fibration symmetries in large directed networks"
A tool to find virtual algebraic fibrations of right-angled Coxeter groups.
My Notes on the Fibrational Semantics of Simple, Polymorphic, and Dependent Type Theory