Tree @master (Download .tar.gz)
cpressey.md @master — view markup · raw · history · blame
Commentary by cpressey on Category Theory works
Categories, types, and structures
.
Category Theory for Programmers
.
Category Theory | Logic Matters
.
computational trinitarianism in nLab
.
ct.category theory - Is every category a localization of a poset? - MathOverflow
From what I can see, the answer is "yes". So does this mean we can call it Localized Poset Theory instead? Hmm...