Def SimplexCategory.isTerminalZero

Modification history

2025-07-22 07:13

Mathlib/AlgebraicTopology/SimplexCategory/Basic.lean

Feat(CategoryTheory): terminal categories with an application to hoFunctor (#25781) …

Added SimplexCategory.isTerminalZero View on Github →