Octocurious
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Categorical Logic
Categorical Logic
13 May 2026
1 min read
Categorical logic is the approach to logic using categories.
Graph View
Backlinks
castellan2020-categories-with-families
Christina O'Donnell
jacobs1999-categorical-logic