sequences functor on sets

 set theory
Notation (−)N:Set→Set(-)^{\IN}: \Set \to \Set Domain category of setsCodomain category of setsLeft adjoint countable copower functor on sets Related ×\times, id⁡Set\id_{\Set}, (−)2(-)^2

This functor maps a set XX to the countable power XNX^{\IN}, i.e. the set of sequences in XX. 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

Deduced properties

Unsatisfied Properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties

—