Strict

📁 Source: Mathlib/CategoryTheory/Bicategory/Strict.lean

Statistics

Metric	Count
Definitions Strict	1
Theorems	0
Total	1

CategoryTheory.Bicategory

Definitions

Name	Category	Theorems
Strict 📖	CompData	8 math math: InducedBicategory.instStrict, instStrictOfIsLocallyDiscrete, CategoryTheory.CatEnrichedOrdinary.instStrict, SSet.QCat.strictBicategory, CategoryTheory.locallyDiscreteBicategory.strict, CategoryTheory.BasedCategory.instStrict, CategoryTheory.Cat.bicategory.strict, CategoryTheory.CatEnriched.instStrict

---

← Back to Index