Functorial Type Theory — a research overview
Researchers familiar with categories and dependent types
Loading presentation…
Read this explanation
Sources and qualifications
Source links and exact passage bindings establish traceability. They do not establish scientific correctness.