binary diagonal functor on the category of sets

 set theory
Notation Δ:Set→Set×Set\Delta: \Set \to \Set \times \Set Domain category of setsCodomain category of pairs of setsLeft adjoint binary coproduct functor on setsRight adjoint binary product functor on sets Related idSet\id_{\Set} External nLab link
Every category C\C has a (binary) diagonal functor Δ:C→C2\Delta : \C \to \C^2, X↦(X,X)X \mapsto (X,X). Here, we specify that C\C is the category of sets.

Satisfied properties

Assigned properties

Deduced properties

Unsatisfied properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties

—