#
Homotopy Type Theory
diagonal > history (Rev #1)

# Contents

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

Revision on April 16, 2022 at 07:27:01 by
Anonymous?.
See the history of this page for a list of all contributions to it.