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

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Authors |

Showing changes from revision #0 to #1: Added | Removed | Changed

Contents

Definition

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

Δ(S)≔∑ (x,y):S×Sx=y\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.

DiscussNext revision (to current)Current version of pageHistory (1 revision)Rollback Source