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