Def CategoryTheory.CosimplicialObject

Modification history

2026-08-13 09:18
Mathlib/AlgebraicTopology/SimplicialObject/Basic.lean
feat(AlgebraicTopology): non-degenerate simplices in `Δ[p] ⊗ Δ[q]` (#41624) …
Deleted CategoryTheory.CosimplicialObjectView on Github →
2023-04-11 12:30
Mathlib/AlgebraicTopology/SimplicialObject.lean
feat: port AlgebraicTopology.SimplicialObject (#3302)
Added CategoryTheory.CosimplicialObjectView on Github →