binary coproduct functor on sets

 set theory
Notation +:Set×Set→Set+: \Set \times \Set \to \Set Domain category of pairs of setsCodomain category of setsRight adjoint binary diagonal functor on the category of sets Related 2(−)2(-), ×\times

This functor maps a pair of sets (X,Y)(X,Y) to their coproduct X+YX + Y. It is an example of a right-invertible left adjoint functor which is not a reflector.

Satisfied Properties

Assigned properties

Deduced properties

Unsatisfied Properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties

—