Homotopy Type Theory diagonal > history (changes)

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

~~Contents~~

Definition
See also

~~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~~

~~limit of a binary function approaching a diagonal~~

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