[travisjungroth]

Weirdly, I don’t love or hate category theory but I get very excited about order theory and abstract algebra in software. It feels lonely exploring them compared to other things, which is funny to say. It’s not fully explored or the new hotness.

[boris_m]

Category theory is order theory and abstract algebra.

[travisjungroth]

It’s not like they’re synonyms. There’s overlap and maybe even category theory is a superset. But the experience of working with them is different.