universe

(in category theory/type theory/computer science)

of all homotopy types

type of types, object classifier,

codomain fibration

of homotopy n-types

of 0-truncated types/h-sets

of (-1)-truncated types/h-propositions

Last revised on September 12, 2012 at 00:56:58. See the history of this page for a list of all contributions to it.