(in category theory/type theory/computer science)
of all homotopy types
of (-1)-truncated types/h-propositions
basic constructions:
strong axioms
further
For the concept introduced by Shinichi Mochizuki in inter-universal Teichmüller theory, see poly-morphism.
Universe polymorphism is the ability for definitions to be implicitly duplicated at different universe levels, with the types they contain.
Last revised on December 16, 2018 at 22:05:33. See the history of this page for a list of all contributions to it.