Def SimplexCategory.Truncated.inclusion

Modification history

2025-12-18 13:14
Mathlib/AlgebraicTopology/SimplexCategory/Defs.lean
refactor(CategoryTheory): make morphisms in full subcategories a 1-field structure (#26446) …
Deleted SimplexCategory.Truncated.inclusionView on Github →
2025-02-14 08:16
Mathlib/AlgebraicTopology/SimplexCategory/Basic.lean
chore(AlgebraicTopology): split SimplexCategory.lean (#21625) …
Modified SimplexCategory.Truncated.inclusionView on Github →
2024-11-27 18:16
Mathlib/AlgebraicTopology/SimplexCategory.lean
feat(CategoryTheory): coskeletal simplicial objects (#19492) …
Modified SimplexCategory.Truncated.inclusionView on Github →
2023-04-06 10:57
Mathlib/AlgebraicTopology/SimplexCategory.lean
feat: port AlgebraicTopology.SimplexCategory (#3286)
Added SimplexCategory.Truncated.inclusionView on Github →