⌘Ctrlk

Math Debrief
Math: TIMELINE
100-fundamentals
200 Set and Set theory
Relations
Order theory
Function Theory
debrief-name: math section-code: 280 section-name: domain-theory section-desc:
Logic
510 Lambda Calculi
Type theory
Abstract Algebra
Category Theory
Number Theory
Theory of computation
debrief-name: math section-code: 900 section-name: aggregations section-desc: Aggregations, indices,
debrief-name: math section-code: 800 section-name: misc section-desc: Misc and unclassified mathemat

Powered by GitBook

On this page

Type theory

Homotopy type theory

Homotopy type theory Univalent Type theory as the foundations of mathematics

PreviousType Inference NextHomotopy type theory

Last updated 4 years ago