fibrations

There are 0 repository under fibrations topic.

• jozefg / fibrational-semantics

  Notes on simple fibrational semantics.

  boring-mathfibrationssemantics
  Language:TeX 6

• Julia-meets-String-Theory / FTheoryTools.jl

  Tools for F-theory model building

  elliptic-curvesf-theoryfibrationsjuliastring-theory
  Language:Julia 4

• higorsmonteiro / FastFibration

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

  fibrationsjuliasymmetry
  Language:Julia 0

• knothed / algebraic-fibrations

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

  coxeter-groupsfibrationshyperbolic-geometry
  Language:C 0

• heades / notes-on-fibrations

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

  category-theorysemanticsfibrationscategorical-logictype-theory
  Language:TeX