Taking nonlogical concepts seriously (Kris Brown)

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