Category theory is beautiful because it's so unavoidable. We might critique Turing machines for being tied intimately to our particular mode of thought—both Tur

Category theory is beautiful because it's so unavoidable. We might critique Turing machines for being tied intimately to our particular mode of thought—both Turing tape and lambda calculus are a certain kind of specific, at least in comparison to category theory. (Not that I'm arguing that any computational models are somehow not touching on another kind of Platonic ideal) Category theory arises from probably the simplest imaginable notions of "transformation". There's no way to not critique me for being anthropocentric, but it's hard to imagine an alternative theory where this doesn't exist.