OAI/CategoryTheory/Globular/
1027 declarations, 0 contain sorry, 0 declared as axioms; 58 files
Files
- Basic.lean 16 declarations
- Boundary.lean 19 declarations
- BoundaryCells.lean 16 declarations
- Coglobular.lean 45 declarations
- Colimits.lean 39 declarations
- Composition.lean 30 declarations
- CriticalJoint.lean 1 declarations
- Cutoff.lean 27 declarations
- CutoffCells.lean 25 declarations
- CutoffExistence.lean 17 declarations
- CutoffExpansion.lean 5 declarations
- CylinderContractibility.lean 7 declarations
- CylinderExtension.lean 4 declarations
- CylinderFramework.lean 26 declarations
- CylinderGluing.lean 12 declarations
- CylinderInterpretation.lean 8 declarations
- CylinderJointUpper.lean 5 declarations
- CylinderLifting.lean 9 declarations
- CylinderObjects.lean 37 declarations
- CylinderPathLifting.lean 7 declarations
- CylinderPresentations.lean 5 declarations
- CylinderShapes.lean 6 declarations
- CylinderSplitting.lean 7 declarations
- CylinderTheory.lean 7 declarations
- Density.lean 17 declarations
- DiskComparison.lean 16 declarations
- DiskRealization.lean 14 declarations
- ElementaryExpansion.lean 2 declarations
- Expansion.lean 16 declarations
- Factorization.lean 12 declarations
- Fillers.lean 37 declarations
- FrameJoint.lean 7 declarations
- FrameMaps.lean 10 declarations
- FrameOperations.lean 7 declarations
- FrameRealization.lean 13 declarations
- FullCylinder.lean 10 declarations
- Groupoid.lean 22 declarations
- Homotopy.lean 35 declarations
- HomotopyGroups.lean 3 declarations
- LinearCells.lean 17 declarations
- LinearShape.lean 57 declarations
- Main.lean 1 import, no declarations
- Model.lean 86 declarations
- OneSidedPresentation.lean 7 declarations
- Realization.lean 20 declarations
- ReflectedCylinder.lean 7 declarations
- Reflection.lean 12 declarations
- RelativeLifting.lean 17 declarations
- ReverseWhisker.lean 30 declarations
- ShapeFrame.lean 10 declarations
- SkeletalPresentation.lean 8 declarations
- SmallFree.lean 8 declarations
- SmallObject.lean 30 declarations
- SpineWhisker.lean 18 declarations
- Spines.lean 9 declarations
- Tree.lean 54 declarations
- Whisker.lean 27 declarations
- WhiskerUniverse.lean 9 declarations