squaring functor on sets

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

This functor maps a set XX to its square X2X^2. 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

—