• Unitality. We have isomorphisms of sets
    \begin{align*} A\mathchoice {\mathbin {\textstyle \coprod }}{\mathbin {\textstyle \coprod }}{\mathbin {\scriptstyle \textstyle \coprod }}{\mathbin {\scriptscriptstyle \textstyle \coprod }}\emptyset & \cong A,\\ \emptyset \mathchoice {\mathbin {\textstyle \coprod }}{\mathbin {\textstyle \coprod }}{\mathbin {\scriptstyle \textstyle \coprod }}{\mathbin {\scriptscriptstyle \textstyle \coprod }}A & \cong A, \end{align*}

    natural in $A\in \text{Obj}\webleft (\mathsf{Sets}\webright )$.


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


You can also use the contact form below: