View Source Document

cpressey.md

Commentary by cpressey on Category Theory works

Categories, types, and structures

Category Theory for Programmers

Category Theory \| Logic Matters

computational trinitarianism in nLab

Is every category a localization of a poset?

From what I can see, the answer is "yes". So does this mean we can call it Localized Poset Theory instead? Hmm...