The following pages link to Univalent foundations
External toolsShowing 46 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Category theory (links | edit)
- Set (mathematics) (links | edit)
- Category of sets (links | edit)
- Set theory (links | edit)
- Natural deduction (links | edit)
- Equality (mathematics) (links | edit)
- Vladimir Voevodsky (links | edit)
- Foundations of mathematics (links | edit)
- Univalent (links | edit)
- QED manifesto (links | edit)
- Extensionality (links | edit)
- Intuitionistic type theory (links | edit)
- Formal system (links | edit)
- Dependent type (links | edit)
- Determinacy (links | edit)
- Constructive set theory (links | edit)
- Higher category theory (links | edit)
- Hilbert system (links | edit)
- Axiom of reducibility (links | edit)
- Topos (links | edit)
- Structuralism (philosophy of mathematics) (links | edit)
- Homotopy type theory (links | edit)
- ∞-groupoid (links | edit)
- ∞-topos (links | edit)
- Michael Shulman (mathematician) (links | edit)
- Thorsten Altenkirch (links | edit)
- Applied category theory (links | edit)
- Talk:Quantum entanglement/Archive 7 (links | edit)
- Talk:Mathematics/Archive 14 (links | edit)
- Talk:Univalent foundations (transclusion) (links | edit)
- Talk:Homotopy type theory/Archive 1 (links | edit)
- User:Tompw/templates (links | edit)
- User:Jbeer42/Books/Discrete Mathematics (links | edit)
- User:Zarzuelazen/Books/Reality Theory: Mathematical Logic (links | edit)
- User:Y-S.Ko/Wikipedia course/Mathematics (links | edit)
- User talk:Tsirel (links | edit)
- User talk:R.e.b./Archive 6 (links | edit)
- User talk:Ruud Koot/2014 (links | edit)
- Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/J11 (links | edit)
- Misplaced Pages:Requests for mediation/merge of pages Homotopy type theory and Univalent foundations (links | edit)
- Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/Num6 (links | edit)
- Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/Publisher5 (links | edit)
- Misplaced Pages:Typo Team/moss/U (links | edit)
- Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/DOI/10.1075 (links | edit)
- Misplaced Pages talk:WikiProject Mathematics/Archive/2015/Feb (links | edit)
- Template:Foundations-footer (links | edit)