Structures · Category theory
CategoryTheory.Pseudofunctor.ObjectProperty.IsClosedUnderMapObj
If P is a property of objects for a pseudofunctor F to Cat,
this is the condition that P is preserved by the application of the functors F.map.
- Shape
- One type argument · adds map_obj
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
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 by21
- CategoryTheory.Pseudofunctor.ObjectProperty.map
- CategoryTheory.Pseudofunctor.ObjectProperty.fullsubcategory
- CategoryTheory.Pseudofunctor.ObjectProperty.mapComp
- CategoryTheory.Pseudofunctor.ObjectProperty.mapId
- CategoryTheory.Pseudofunctor.ObjectProperty.ι
- CategoryTheory.Pseudofunctor.ObjectProperty.map₂
- CategoryTheory.Pseudofunctor.ObjectProperty.fullsubcategory_toPrelaxFunctor_toPrelaxFunctorStruct_toPrefunctor_map_toFunctor
- CategoryTheory.Pseudofunctor.ObjectProperty.fullsubcategory_mapId
- CategoryTheory.Pseudofunctor.ObjectProperty.mapId_inv_app
- CategoryTheory.Pseudofunctor.ObjectProperty.map_obj_obj
- CategoryTheory.Pseudofunctor.ObjectProperty.fullsubcategory_toPrelaxFunctor_toPrelaxFunctorStruct_toPrefunctor_obj
- CategoryTheory.Pseudofunctor.ObjectProperty.mapComp_hom_app
- CategoryTheory.Pseudofunctor.ObjectProperty.mapId_hom_app
- CategoryTheory.Pseudofunctor.ObjectProperty.fullsubcategory_mapComp
- CategoryTheory.Pseudofunctor.ObjectProperty.ι_naturality
- CategoryTheory.Pseudofunctor.ObjectProperty.fullsubcategory_toPrelaxFunctor_toPrelaxFunctorStruct_map₂_toNatTrans
- CategoryTheory.Pseudofunctor.ObjectProperty.map_map_hom
- CategoryTheory.Pseudofunctor.ObjectProperty.IsClosedUnderMapObj.map_obj
- CategoryTheory.Pseudofunctor.ObjectProperty.ι_app_toFunctor
- CategoryTheory.Pseudofunctor.ObjectProperty.mapComp_inv_app
- CategoryTheory.Pseudofunctor.ObjectProperty.map₂_app_hom
Ancestors0
No ancestors.