EpiMono

Statistics

Metric	Count
Definitions	0
Theorems `preservesEpimorphisms_of_preservesColimitsOfShape`, `preservesMonomorphisms_of_preservesLimitsOfShape`, `preserves_epi_of_preservesColimit`, `preserves_mono_of_preservesLimit`, `reflectsEpimorphisms_of_reflectsColimitsOfShape`, `reflectsMonomorphisms_of_reflectsLimitsOfShape`, `reflects_epi_of_reflectsColimit`, `reflects_mono_of_reflectsLimit`	8
Total	8

Name	Kind	Assumes	Proves	Validates	Depends On
`preservesEpimorphisms_of_preservesColimitsOfShape` 📖	mathematical	—	`Functor.PreservesEpimorphisms`	—	`preserves_epi_of_preservesColimit` `Limits.PreservesColimitsOfShape.preservesColimit`
`preservesMonomorphisms_of_preservesLimitsOfShape` 📖	mathematical	—	`Functor.PreservesMonomorphisms`	—	`preserves_mono_of_preservesLimit` `Limits.PreservesLimitsOfShape.preservesLimit`
`preserves_epi_of_preservesColimit` 📖	mathematical	—	`Epi` `Functor.obj` `Functor.map`	—	`Limits.PushoutCocone.epi_of_isColimitMkIdId` `Functor.map_id`
`preserves_mono_of_preservesLimit` 📖	mathematical	—	`Mono` `Functor.obj` `Functor.map`	—	`Limits.PullbackCone.mono_of_isLimitMkIdId` `Functor.map_id`
`reflectsEpimorphisms_of_reflectsColimitsOfShape` 📖	mathematical	—	`Functor.ReflectsEpimorphisms`	—	`reflects_epi_of_reflectsColimit` `Limits.reflectsColimit_of_reflectsColimitsOfShape`
`reflectsMonomorphisms_of_reflectsLimitsOfShape` 📖	mathematical	—	`Functor.ReflectsMonomorphisms`	—	`reflects_mono_of_reflectsLimit` `Limits.reflectsLimit_of_reflectsLimitsOfShape`
`reflects_epi_of_reflectsColimit` 📖	mathematical	—	`Epi`	—	`Limits.PushoutCocone.epi_of_isColimitMkIdId` `Functor.map_id`
`reflects_mono_of_reflectsLimit` 📖	mathematical	—	`Mono`	—	`Limits.PullbackCone.mono_of_isLimitMkIdId` `Functor.map_id`

---