Structures · Category theory
CategoryTheory.CopyDiscardCategory
Category where objects have compatible copy and discard operations.
- Shape
- One type argument · adds comonObj, isCommComonObj, copy_tensor, discard_tensor, copy_unit, discard_unit
Extends1
Extended by1
Forgetful instances
Every CategoryTheory.CopyDiscardCategory is also a
Concrete types that are instances2
- CategoryTheory.WideSubcategory
- SFinKer
How is a type an instance?
Loading the hierarchy index…
Assumed by11
- CategoryTheory.Deterministic
- CategoryTheory.CopyDiscardCategory.discard_unit
- CategoryTheory.CopyDiscardCategory.isCommComonObj
- CategoryTheory.Deterministic.discard_natural
- CategoryTheory.CopyDiscardCategory.copy_tensor
- CategoryTheory.CopyDiscardCategory.toSymmetricCategory
- CategoryTheory.CopyDiscardCategory.copy_unit
- CategoryTheory.MorphismProperty.instCopyDiscardCategoryWideSubcategoryOfIsStableUnderComonoid
- CategoryTheory.CopyDiscardCategory.comonObj
- CategoryTheory.Deterministic.copy_natural
- CategoryTheory.CopyDiscardCategory.discard_tensor