Structures · Category theory
CategoryTheory.LocalizerMorphism.IsLocalizedFullyFaithful
Condition that a LocalizerMorphism induces a fully faithful functor
on the localized categories.
- Shape
- One type argument · adds nonempty_fullyFaithful
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances2
- CategoryTheory.ObjectProperty.FullSubcategory
- Opposite
How is a type an instance?
Loading the hierarchy index…
Assumed by10
- CategoryTheory.LocalizerMorphism.fullyFaithful
- CategoryTheory.LocalizerMorphism.full
- CategoryTheory.LocalizerMorphism.IsLocalizedFullyFaithful.nonempty_fullyFaithful
- CategoryTheory.LocalizerMorphism.instFullLocalizedFunctorOfIsLocalizedFullyFaithful
- CategoryTheory.LocalizerMorphism.IsLocalizedFullyFaithful.comp
- CategoryTheory.LocalizerMorphism.faithful
- CategoryTheory.LocalizerMorphism.instFaithfulLocalizedFunctorOfIsLocalizedFullyFaithful
- CategoryTheory.LocalizerMorphism.fullyFaithfulLocalizedFunctor
- CategoryTheory.LocalizerMorphism.instIsLocalizedFullyFaithfulOppositeOpOp
- CategoryTheory.LocalizerMorphism.isLocalization_of_isLocalizedFullyFaithful
Ancestors0
No ancestors.