Subsection 3.3.2 (01Q3): The Right Distributor

Style	Class	Font	Theorem Environments
Style 1	`book`	Alegreya Sans	`tcbthm`
Style 2	`book`	Alegreya Sans	`amsthm`
Style 3	`book`	Arno*	`amsthm`
Style 4	`book`	Computer Modern	`amsthm`

The right distributor of the product of sets over the coproduct of sets is the natural isomorphism

\[ \delta ^{\mathsf{Sets}}_{r} \colon \mathord {\times }\circ \webleft (\mathord {\mathchoice {\mathbin {\textstyle \coprod }}{\mathbin {\textstyle \coprod }}{\mathbin {\scriptstyle \textstyle \coprod }}{\mathbin {\scriptscriptstyle \textstyle \coprod }}}\times \text{id}_{\mathsf{Sets}}\webright ) \mathbin {\overset {\mathord {\sim }}{\Longrightarrow }}\mathord {\mathchoice {\mathbin {\textstyle \coprod }}{\mathbin {\textstyle \coprod }}{\mathbin {\scriptstyle \textstyle \coprod }}{\mathbin {\scriptscriptstyle \textstyle \coprod }}}\circ \webleft (\mathord {\times }\times \mathord {\times }\webright )\circ \mathbf{\mu }^{\mathsf{Cats}_{\mathsf{2}}}_{4|\mathsf{Sets},\mathsf{Sets},\mathsf{Sets},\mathsf{Sets}}\circ \webleft (\webleft (\text{id}_{\mathsf{Sets}}\times \text{id}_{\mathsf{Sets}}\webright )\times \Delta _{\mathsf{Sets}}\webright ) \]

as in the diagram

whose component

\[ \delta ^{\mathsf{Sets}}_{r|X,Y,Z}\colon \webleft (X\mathchoice {\mathbin {\textstyle \coprod }}{\mathbin {\textstyle \coprod }}{\mathbin {\scriptstyle \textstyle \coprod }}{\mathbin {\scriptscriptstyle \textstyle \coprod }}Y\webright )\times Z\overset {\scriptstyle \mathord {\sim }}{\dashrightarrow }\webleft (X\times Z\webright )\mathchoice {\mathbin {\textstyle \coprod }}{\mathbin {\textstyle \coprod }}{\mathbin {\scriptstyle \textstyle \coprod }}{\mathbin {\scriptscriptstyle \textstyle \coprod }}\webleft (Y\times Z\webright ) \]

at $\webleft (X,Y,Z\webright )$ is defined by

\[ \delta ^{\mathsf{Sets}}_{r|X,Y,Z}\webleft (a,z\webright )\mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\begin{cases} \webleft (0,\webleft (x,z\webright )\webright ) & \text{if $a=\webleft (0,x\webright )$,}\\ \webleft (1,\webleft (y,z\webright )\webright ) & \text{if $a=\webleft (1,y\webright )$} \end{cases} \]

for each $\webleft (a,z\webright )\in \webleft (X\mathchoice {\mathbin {\textstyle \coprod }}{\mathbin {\textstyle \coprod }}{\mathbin {\scriptstyle \textstyle \coprod }}{\mathbin {\scriptscriptstyle \textstyle \coprod }}Y\webright )\times Z$.

The Clowder Project

3.3.2 The Right Distributor