[auggierose]

For that you just need Lattice theory ...

[marquis-chacha]

Oh right, "Lattice" is the word I was looking for. It's been too long. Would that be considered a subset of category theory, a precursor to it, or another field that it somewhat "unifies"?

[smadge]

Lattice theory is it’s own field that exists outside of and before category theory. All lattices form a category, though, but not vice versa.