OAI/CategoryTheory/Thomason/Strict/
565 declarations, 0 contain sorry, 0 declared as axioms; 16 files
Files
- FiniteCosieveMembership.lean 7 declarations
- FiniteLabelledPresentation.lean 17 declarations
- FiniteSieveNaturality.lean 4 declarations
- FiniteSieveWeakEquivalenceBridge.lean 3 declarations
- OrientalFiniteCells.lean 41 declarations
- OrientalLabelFibers.lean 19 declarations
- StreetFilteredColimits.lean 14 declarations
- StreetSingularWeakReflection.lean 12 declarations
- StreetWhitehead.lean 12 declarations
- StrictCompositeListReplacement.lean 79 declarations
- StrictIsomorphisms.lean 79 declarations
- StrictPosetStarSemantics.lean 18 declarations
- StrictPosetWeakEquivalences.lean 13 declarations
- StrictTerminalConeCategory.lean 79 declarations
- StrictTerminalConeFunctor.lean 82 declarations
- UnderlyingCategory.lean 86 declarations