Concept
Identity type
Overview
In type theory, a branch of mathematics, the identity type represents the concept of equality. It is also known as propositional equality to differentiate it from "judgemental equality". Equality in type theory is a complex topic and has been the subject of research, such as the field of homotopy type theory.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
Opposing perspectives
Place in the tradition
Part of Type theory.