Commentary by Chris Pressey

This work is distributed under a CC-BY-ND-4.0 license, with the following explicit exception: the ratings may be freely used for any purpose with no limitations.

Category Theory

Categories, types, and structures

• rating: TODO

.

Category Theory for Programmers

• rating: 1

.

Category Theory \| Logic Matters

• rating: 1

.

computational trinitarianism in nLab

• rating: 1

.

ct.category theory - Is every category a localization of a poset? - MathOverflow

• rating: 1

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