Basic

📁 Source: Mathlib/AlgebraicTopology/SimplicialCategory/Basic.lean

Statistics

Metric	Count
Definitions SimplicialCategory, homEquiv', sHom, sHomComp, sHomFunctor	5
Theorems	0
Total	5

CategoryTheory

Definitions

Name	Category	Theorems
SimplicialCategory 📖	CompOp	—

CategoryTheory.SimplicialCategory

Definitions

Name	Category	Theorems
homEquiv' 📖	CompOp	—
sHom 📖	CompOp	—
sHomComp 📖	CompOp	—
sHomFunctor 📖	CompOp	—

---

← Back to Index