Type

Type

$\mathrm{Type}$ … the type of all other types under consideration. See Type theory for a longer discussion.

Parents

Link to graph
Log In
Improvements of the human condition