A lot of category theory expresses the patterns in stuff that is indeed tautological. But it can really express content. The first application in which it was used nontrivially was algebraic topology. And there, the content was decidedly nontrivial. But heavily artificial;
Pleas, let's chat. I should at least be able to explain what kind of thing it can be about. (it's abstract enough that I have to talk in terms of what it can be about, rather than what it is about.)
no subject
Well. I guess you understood that part, then.
A lot of category theory expresses the patterns in stuff that is indeed tautological. But it can really express content. The first application in which it was used nontrivially was algebraic topology. And there, the content was decidedly nontrivial. But heavily artificial;
Pleas, let's chat. I should at least be able to explain what kind of thing it can be about. (it's abstract enough that I have to talk in terms of what it can be about, rather than what it is about.)