countable copower functor on sets

 set theory
Notation N×(−):Set→Set\IN \times (-): \Set \to \Set Domain category of setsCodomain category of setsRight adjoint sequences functor on sets Related idSet\id_{\Set}, ++, 2(−)2(-), −×Q- \times \IQ
This functor maps a set XX to the product N×X\IN \times X, which can also be seen as the copower N⊗X=∐n∈NX\IN \otimes X = \coprod_{n \in \IN} X. It is an example of a polynomial functor.

Satisfied properties

Assigned properties

Deduced properties

Unsatisfied properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties

—