CategoryTheory.Limits.HasImage

Extends nothing: this is a root of the hierarchy.

• CategoryTheory.Limits.HasImages

Provided automatically by

• CategoryTheory.Limits.HasImages

No instance on a concrete type; it is reached through other classes.

Loading the hierarchy index…

• CategoryTheory.Limits.image
• CategoryTheory.Limits.image.ι
• CategoryTheory.Limits.factorThruImage
• CategoryTheory.Limits.imageSubobject
• CategoryTheory.Limits.image.fac
• imageToKernel
• CategoryTheory.Limits.imageSubobjectIso
• CategoryTheory.Limits.image.lift
• imageToKernel_arrow
• CategoryTheory.Limits.Image.monoFactorisation
• CategoryTheory.Limits.Image.isImage
• CategoryTheory.Limits.image.map
• CategoryTheory.Limits.image.lift_fac
• CategoryTheory.Limits.ImageMap.map
• CategoryTheory.Limits.factorThruImageSubobject
• CategoryTheory.Limits.image.preComp
• CategoryTheory.Limits.image.compIso
• CategoryTheory.Limits.imageSubobject_arrow'
• CategoryTheory.Limits.imageSubobject_arrow
• CategoryTheory.Limits.imageSubobjectCompIso
• CategoryTheory.Limits.image.fac_assoc
• CategoryTheory.Limits.image.fac_lift
• CategoryTheory.Limits.kernelFactorThruImage
• CategoryTheory.Limits.HasImageMap.imageMap
• CategoryTheory.Limits.imageSubobject_arrow_comp
• CategoryTheory.Limits.imageSubobjectMap
• CategoryTheory.Limits.IsImage.lift_ι
• CategoryTheory.Limits.ImageMap.map_ι
• CategoryTheory.Limits.image.eqToIso
• CategoryTheory.Limits.image.lift_mk_comp
• CategoryTheory.Limits.image.map_ι
• CategoryTheory.Limits.imageSubobject_comp_le
• CategoryTheory.Limits.imageSubobject_arrow_assoc
• CategoryTheory.Limits.image.preComp_ι
• CategoryTheory.MonoOver.imageMonoOver
• CategoryTheory.Limits.image.compIso_hom_comp_image_ι
• CategoryTheory.Limits.cokernelImageι
• CategoryTheory.Limits.kernelFactorThruImage_hom_comp_ι
• CategoryTheory.Limits.image.compIso_inv_comp_image_ι
• CategoryTheory.Limits.image.fac_lift_assoc
• CategoryTheory.Limits.imageSubobject_iso_comp
• CategoryTheory.Limits.ImageMap.factor_map
• CategoryTheory.Limits.eq_zero_of_image_eq_zero
• CategoryTheory.Limits.imageMapComp
• CategoryTheory.Limits.image.ι_zero
• CategoryTheory.Limits.image.lift_mk_factorThruImage
• CategoryTheory.Limits.imageSubobjectMap_arrow
• CategoryTheory.Limits.ImageMap.map_uniq_aux
• CategoryTheory.Limits.imageMapId
• CategoryTheory.Limits.imageSubobject_arrow_comp_assoc

No ancestors.