Univalence axiom

From HandWiki

Redirect page

Redirect to:

Homotopy type theory

This page is a redirect. The following categories are used to track and monitor this redirect:

From a merge: This is a redirect from a page that was merged into another page. This redirect was kept in order to preserve this page's edit history after its content was merged into the target page's content. Please do not remove the tag that generates this text (unless the need to recreate content on this page has been demonstrated) nor delete this page.
- For redirects with substantive page histories that did not result from page merges use {{R with history}} instead.

To a section: This is a redirect from a topic that does not have its own page to a section of a page on the subject.

When appropriate, protection levels are automatically sensed, described and categorized.

Retrieved from "https://handwiki.org/wiki/index.php?title=Univalence_axiom&oldid=43679"