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 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
[responsivevoice_button voice="US English Male"]

Leave a comment

Your email address will not be published. Required fields are marked *


seven − 5 =

Leave a Reply