binary diagonal functor on the category of sets

Notation

\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

\id_{\Set}

External nLab Link

Every category $\C$ has a (binary) diagonal functor $\Delta : \C \to \C^2$ , $X \mapsto (X,X)$ . Here, we specify that $\C$ is the category of sets.

Satisfied Properties

Assigned properties

Deduced properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

—