#
Homotopy Type Theory
diagonal > history (changes)

Showing changes from revision #1 to #2:
Added | ~~Removed~~ | ~~Chan~~ged

# Contents

< diagonal

~~
~~## Definition

~~
~~Given a type $S$ and the product type $S \times S$, the **diagonal** is the set of all pairs that are equal to each other

~~
~~$\Delta(S) \coloneqq \sum_{(x,y):S \times S} x = y$

~~
~~## See also

~~
~~
Last revised on June 13, 2022 at 19:44:39.
See the history of this page for a list of all contributions to it.