I think the part of Category Theory that bothered me is, if I remember right, it ultimately resolves completely to Set Theory and so gains Set Theory’s limitations.
But as an abstracting language, Category Theory is fantastic and really ties together a lot of concepts loosely that otherwise seem very distant. I’m a fan. (I might be wrong about the Set Theory thing too – it’s been a while)
I seem to recall being absolutely fascinated by dagger categories, although I don’t remember why now
-
Like