Homotopy Type Theory: Univalent Foundations Of Mathematics

'Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way.'

Categories and types

Information

Mathematics

Licences

CC BY-SA

Website: https://unglue.it/work/128678/

Details

Sources and related works

unglue.it

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution 3.0 License