binary coproduct functor on sets
- notation:
- Source: category of pairs of sets
- Target: category of sets
- Right adjoint functor:
- Related functors: ,
This functor maps a pair of sets to their coproduct . It is an example of a right-invertible left adjoint functor which is not a reflector.
Satisfied Properties
Assigned properties
- is right-invertible
- preserves equalizers
- is conservative
- is a left adjoint
- is cofinitary
Deduced properties
- preserves coreflexive equalizers
- preserves regular monomorphisms
- is faithful
- is essentially surjective
- is cocontinuous
- preserves monomorphisms
- is dominant
- is finitary
- preserves coproducts
- is right exact
- is comonadic
- preserves finite coproducts
- preserves coequalizers
- preserves epimorphisms
- is coregular
- preserves binary coproducts
- preserves initial objects
- preserves reflexive coequalizers
- preserves regular epimorphisms
Unsatisfied Properties
Assigned properties
- does not preserve terminal objects
- does not preserve binary products
- is not essentially injective
- is not a reflector
Deduced properties*
- is not an equivalence
- does not preserve finite products
- is not left-invertible
- is not full on isomorphisms
- is not fully faithful
- is not an isomorphism
- does not preserve products
- is not left exact
- is not full
- is not pseudomonic
- is not continuous
- is not exact
- is not regular
- is not a right adjoint
- is not representable
- is not monadic
- is not a coreflector
*This also uses the deduced satisfied properties.
Unknown properties
—