covariant power set functor
- notation: : →
- Source: category of sets
- Target: category of sets
- Related functors:
- nLab Link
This functor maps a set to its power set and a map of sets to the induced image operator .
Satisfied Properties
Assigned properties
- is faithful
- preserves epimorphisms
- preserves monomorphisms
- is conservative
- preserves coreflexive equalizers
Deduced properties
—
Unsatisfied Properties
Assigned properties
- is not essentially surjective
- does not preserve initial objects
- does not preserve terminal objects
- is not full
- does not preserve reflexive coequalizers
- does not preserve equalizers
- is not finitary
- is not cofinitary
- is not left-invertible
Deduced properties*
- is not an equivalence
- is not continuous
- does not preserve finite products
- is not left exact
- is not cocontinuous
- does not preserve finite coproducts
- does not preserve coequalizers
- is not a right adjoint
- does not preserve products
- is not exact
- is not representable
- is not a left adjoint
- does not preserve coproducts
- is not right exact
- is not monadic
- is not comonadic
*This also uses the deduced satisfied properties.
Unknown properties
—
Undecidable properties
There is 1 property for which it cannot be decided if it is satisfied or not.