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...