Deterministic

📁 Source: Mathlib/CategoryTheory/CopyDiscardCategory/Deterministic.lean

Statistics

Metric	Count
Definitions Deterministic	1
Theorems copy_natural, discard_natural	2
Total	3

CategoryTheory

Definitions

Name	Category	Theorems
Deterministic 📖	MathDef	1 math math: CartesianCopyDiscard.instDeterministic

CategoryTheory.Deterministic

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
copy_natural 📖	mathematical	—	CategoryTheory.CategoryStruct.comp CategoryTheory.Category.toCategoryStruct CategoryTheory.MonoidalCategoryStruct.tensorObj CategoryTheory.MonoidalCategory.toMonoidalCategoryStruct CategoryTheory.ComonObj.comul CategoryTheory.CopyDiscardCategory.comonObj CategoryTheory.MonoidalCategoryStruct.tensorHom	—	CategoryTheory.IsComonHom.hom_comul
discard_natural 📖	mathematical	—	CategoryTheory.CategoryStruct.comp CategoryTheory.Category.toCategoryStruct CategoryTheory.MonoidalCategoryStruct.tensorUnit CategoryTheory.MonoidalCategory.toMonoidalCategoryStruct CategoryTheory.ComonObj.counit CategoryTheory.CopyDiscardCategory.comonObj	—	CategoryTheory.IsComonHom.hom_counit

---

← Back to Index