• The Diagonal of the Unit. The component
    \[ \Delta _{\text{pt}} \colon \text{pt}\overset {\scriptstyle \mathord {\sim }}{\dashrightarrow }\text{pt}\times \text{pt} \]

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


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


You can also use the contact form below: