2 ms·
Sorry, but could anyone share some background (reading, links, etc.) on set vs. category theory as applied type systems?
by ughitsaaron 3y ago
Sorry, but could anyone share some background (reading, links, etc.) on set vs. category theory as applied type systems?
- daxfohl 3y agoMostly about proof assistants, but type systems are fundamentally related https://mathoverflow.net/questions/376839/what-makes-dependent-type-theory-more-suitable-than-set-theory-for-proof-assista https://mathoverflow.net/questions/376839/what-makes-depende...