Commit 2025-11-27 08:57 b76a60f4
View on Github →feat(AlgebraicTopology): multicoequalizers and pushouts of simplicial sets (#31797)
Let X be a simplicial set. In this PR, we show that a bicartesian square in the lattice of subcomplexes of X gives a pushout in the category SSet, and "multicoequalizer diagrams" in this lattice also allow to express certain subcomplexes as the multicoequalizers in the category of simplicial sets.
From https://github.com/joelriou/topcat-model-category