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.