I have tried to learn category theory a few times, but it always quickly became mind-bogglingly boring with all the stuff that is trivial in any given setting,

I have tried to learn category theory a few times, but it always quickly became mind-bogglingly boring with all the stuff that is trivial in any given setting, but which I find harder to digest in the general category-theoretic setting. I would say areas like logic have ample applications of category theory once you have truly digested its concepts. But it is such a boring way to get there :-)