nLab
universe polymorphism

Contents

Context

Universes

Foundations

For the concept introduced by Shinichi Mochizuki in inter-universal Teichmüller theory, see poly-morphism.

Contents

Idea

Universe polymorphism is the ability for definitions to be implicitly duplicated at different universe levels, with the types they contain.

Examples and applications

References

Last revised on December 16, 2018 at 22:05:33. See the history of this page for a list of all contributions to it.