contravariant power set functor
- Source: dual of the category of sets
- Target: category of sets
- nLab Link
This functor maps a set to its power set and a map of sets to the induced preimage operator .
Satisfied Properties
Properties from the database
- is epimorphism-preserving
- is monadic
- is representable
Deduced properties
- is conservative
- is faithful
- is a right adjoint
- is continuous
- is cofinitary
- is equalizer-preserving
- is product-preserving
- is finite-product-preserving
- is terminal-object-preserving
- is left exact
- is monomorphism-preserving
Unsatisfied Properties
Properties from the database
- is not coequalizer-preserving
- is not essentially surjective
- is not finitary
- is not full
- is not initial-object-preserving
Deduced properties*
- is not an equivalence
- is not cocontinuous
- is not finite-coproduct-preserving
- is not coproduct-preserving
- is not right exact
- is not exact
- is not a left adjoint
- is not comonadic
*This also uses the deduced satisfied properties.
Unknown properties
—