https://topos.institute/blog/2024-10-11-nonlogical-concepts/
Notes
- Comments are interesting and useful.
- Corfield among the people in the comments. He wrote Modal Homotopy Type Theory
- Lifts material from
https://topos.institute/blog/2024-10-11-nonlogical-concepts/