Def CategoryTheory.nerve.representableBy

Modification history

2025-10-28 23:08
Mathlib/AlgebraicTopology/SimplicialSet/Nerve.lean
feat(AlgebraicTopology): the homotopy category functor preserves products (#25780) …
Added CategoryTheory.nerve.representableByView on Github →