Commit 2026-09-07 10:03 57f89159
View on Github →feat(AlgebraicTopology): filtration of Δ[p] ⊗ Δ[1] (#41655)
Previously, we defined an enumeration of the non-degenerate p + 1-dimensional simplices of Δ[p] ⊗ Δ[1]. They "cover" Δ[p] ⊗ Δ[1], and we use the enumeration to define a filtration of Δ[p] ⊗ Δ[1] by subcomplexes.
In a future PR, it will be used in order to define a constructor for morphisms from Δ[p] ⊗ Δ[1] which shall take as inputs a morphism on each of these p + 1-simplices, with a compatibility condition on the intersection of two consecutive simplices in the enumeration.
From https://github.com/joelriou/topcat-model-category