nerve functor
The nerve of a small category is the simplicial set whose -simplices are chains of morphisms . Among other things, it provides an example of a fully faithful functor that does not preserve regular epimorphisms.
Satisfied properties
Assigned properties
- is fully faithful
- preserves coproducts
- is a right adjoint
- is finitary
Deduced properties
- is continuous
- is faithful
- is full
- is conservative
- is left-invertible
- is monadic
- preserves finite coproducts
- is cofinitary
- is left exact
- preserves products
- is essentially injective
- is full on isomorphisms
- preserves binary coproducts
- preserves initial objects
- preserves finite products
- preserves equalizers
- preserves monomorphisms
- is pseudomonic
- preserves binary products
- preserves terminal objects
- preserves coreflexive equalizers
- preserves regular monomorphisms
Unsatisfied properties
Assigned properties
- does not preserve regular epimorphisms
- is not dominant
Deduced properties*
- is not regular
- is not essentially surjective
- does not preserve coequalizers
- does not preserve epimorphisms
- does not preserve reflexive coequalizers
- is not an equivalence
- is not right-invertible
- is not right exact
- is not a reflector
- is not an isomorphism
- is not exact
- is not a coreflector
- is not cocontinuous
- is not coregular
- is not a left adjoint
- is not comonadic
- is not representable
*This also uses the deduced satisfied properties.
Unknown properties
—