doubling functor on sets
- notation: : →
- Source: category of sets
- Target: category of sets
- Right adjoint:
- Related functors: , ,
This functor maps a set to its double . It is a simple example of a polynomial functor.
Satisfied Properties
Assigned properties
Deduced properties
Unsatisfied Properties
Assigned properties
- is not full
- does not preserve terminal objects
- is not essentially surjective
- is not left-invertible
Deduced properties*
- is not an equivalence
- does not preserve finite products
- does not preserve products
- is not left exact
- is not continuous
- is not exact
- is not a right adjoint
- is not representable
- is not monadic
*This also uses the deduced satisfied properties.
Unknown properties
—