Commit 2026-01-04 10:53 dd755973
View on Github →feat(AlgebraicTopology): finite simplicial sets are ℵ₀-presentable (#32266)
In this file, we show that finite simplicial sets are ℵ₀-presentable, which will allow the use of the small object argument in SSet.
This PR relaxes the import ban of SetTheory in AlgebraicTopology: almost all constructions of model category structures require the small object argument.
From https://github.com/joelriou/topcat-model-category