Structures · Category theory
CategoryTheory.MorphismProperty.IsMonoidalStable
A morphism property stable under tensoring, associators, and unitors.
- Shape
- One type argument
Extends3
Extended by1
Concrete types that are instances0
No instance on a concrete type; it is reached through other classes.
How is a type an instance?
Loading the hierarchy index…
Assumed by16
- CategoryTheory.MorphismProperty.IsMonoidalStable.toIsMonoidal
- CategoryTheory.WideSubcategory.whiskerRight_hom
- CategoryTheory.WideSubcategory.instMonoidalCategoryStruct
- CategoryTheory.WideSubcategory.instMonoidalCategory
- CategoryTheory.MorphismProperty.comul_hom
- CategoryTheory.WideSubcategory.tensorHom_hom
- CategoryTheory.MorphismProperty.IsMonoidalStable.toIsStableUnderUnitor
- CategoryTheory.WideSubcategory.tensorUnit_obj
- CategoryTheory.WideSubcategory.tensorObj_obj
- CategoryTheory.MorphismProperty.instComonObjWideSubcategoryOfIsStableUnderComonoidObj
- CategoryTheory.WideSubcategory.whiskerLeft_hom
- CategoryTheory.WideSubcategory.rightUnitor_def
- CategoryTheory.WideSubcategory.associator_def
- CategoryTheory.MorphismProperty.counit_hom
- CategoryTheory.WideSubcategory.leftUnitor_def
- CategoryTheory.MorphismProperty.IsMonoidalStable.toIsStableUnderAssociator
Ancestors6
- CategoryTheory.MorphismProperty.ContainsIdentities
- CategoryTheory.MorphismProperty.IsMonoidal
- CategoryTheory.MorphismProperty.IsMultiplicative
- CategoryTheory.MorphismProperty.IsStableUnderAssociator
- CategoryTheory.MorphismProperty.IsStableUnderComposition
- CategoryTheory.MorphismProperty.IsStableUnderUnitor