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