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
Created on September 11, 2012 at 23:24:17. See the history of this page for a list of all contributions to it.