Item 2 (024T) — The Clowder Project

Table of Contents
Part 2: Sets
Chapter 5: Monoidal Structures on the Category of Sets
Section 5.1: The Monoidal Category of Sets and Products
Subsection 5.1.8: The Diagonal
Item 2 (cite)

1 tag refers to this tag

5.1.8 The Diagonal

Definition 5.1.8.1.1 ▶ The Diagonal of $\times $

The diagonal of the product of sets is the natural transformation

whose component

\[ \Delta _{X}\colon X\to X\times X \]

at $X\in \operatorname {\mathrm{Obj}}\webleft (\mathsf{Sets}\webright )$ is given by

\[ \Delta _{X}\webleft (x\webright )\mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\webleft (x,x\webright ) \]

for each $x\in X$.

Proof of the Claims Made in Definition 5.1.8.1.1.

We need to show that, given a function $f\colon X\to Y$, the diagram

commutes. Indeed, this diagram acts on elements as

and hence indeed commutes, showing $\Delta $ to be natural.

Proposition 5.1.8.1.2 ▶ Properties of the Diagonal Map

Let $X$ be a set.

1.
Monoidality. The diagonal map

\[ \Delta \colon \operatorname {\mathrm{id}}_{\mathsf{Sets}}\Longrightarrow \mathord {\times }\circ {\Delta ^{\mathsf{Cats}_{\mathsf{2}}}_{\mathsf{Sets}}}, \]

is a monoidal natural transformation:
1. (a)
  Compatibility With Strong Monoidality Constraints. For each $X,Y\in \operatorname {\mathrm{Obj}}\webleft (\mathsf{Sets}\webright )$, the diagram
  commutes.
2. (b)
  Compatibility With Strong Unitality Constraints. The diagrams
  commute, i.e. we have
  
  \begin{align*} \Delta _{\mathrm{pt}} & = \lambda ^{\mathsf{Sets},-1}_{\mathrm{pt}}\\ & = \rho ^{\mathsf{Sets},-1}_{\mathrm{pt}}, \end{align*}
  
  where we recall that the equalities
  
  \begin{align*} \lambda ^{\mathsf{Sets}}_{\mathrm{pt}} & = \rho ^{\mathsf{Sets}}_{\mathrm{pt}},\\ \lambda ^{\mathsf{Sets},-1}_{\mathrm{pt}} & = \rho ^{\mathsf{Sets},-1}_{\mathrm{pt}}\end{align*}
  
  are always true in any monoidal category by , of .
2.
The Diagonal of the Unit. The component

\[ \Delta _{\mathrm{pt}} \colon \mathrm{pt}\overset {\scriptstyle \mathord {\sim }}{\dashrightarrow }\mathrm{pt}\times \mathrm{pt} \]

of $\Delta $ at $\mathrm{pt}$ is an isomorphism.

Proof of Proposition 5.1.8.1.2.

Item 1: Monoidality

We claim that $\Delta $ is indeed monoidal:

1.
Item 1a: Compatibility With Strong Monoidality Constraints: We need to show that the diagram
commutes. Indeed, this diagram acts on elements as
and hence indeed commutes.

2.
Item 1b: Compatibility With Strong Unitality Constraints: As shown in the proof of Definition 5.1.5.1.1, the inverse of the left unitor of $\mathsf{Sets}$ with respect to to the product at $X\in \operatorname {\mathrm{Obj}}\webleft (\mathsf{Sets}\webright )$ is given by

\[ \lambda ^{\mathsf{Sets},-1}_{X}\webleft (x\webright )\mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\webleft (\star ,x\webright ) \]

for each $x\in X$, so when $X=\mathrm{pt}$, we have

\[ \lambda ^{\mathsf{Sets},-1}_{\mathrm{pt}}\webleft (\star \webright )\mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}{\webleft (\star ,\star \webright ),} \]

and also

\[ \Delta ^{\mathsf{Sets}}_{\mathrm{pt}}\webleft (\star \webright )\mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}{\webleft (\star ,\star \webright ),} \]

so we have $\Delta _{\mathrm{pt}}=\lambda ^{\mathsf{Sets},-1}_{\mathrm{pt}}$.

This finishes the proof.

Item 2: The Diagonal of the Unit

This follows from Item 1 and the invertibility of the left/right unitor of $\mathsf{Sets}$ with respect to $\times $, proved in the proof of Definition 5.1.5.1.1 for the left unitor or the proof of Definition 5.1.6.1.1 for the right unitor.

Statistics Cite

Noticed something off, or have any comments? Feel free to reach out!

•Email
•Discord

You can also use the contact form below: