doubling functor on sets

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

This functor maps a set XX to its double 2X≔X+X2 X \coloneqq X + X. It is a simple 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

—