Did you find category theory daunting at first? Do you still? What in particular did/do you find most off-putting?
Conversation
as a CS person, the lack of examples in logic/types makes it hard to navigate. I had to drop it and learn abstract algebra first and then it became manageable. but more advanced CT becomes hard again as I don’t understand topology or more advanced abstract algebra.
3
33
are u kidding? category theory and logic/types go hand in hand! if youve seen no examples of that nature, youve been robbed
1
1
I have, but there’s no dedicated material that uses examples in logic/type theory for CS students 😭
2
9
(if you know any, pls let me know)
2
5
Me too! I only know of Pierce's book, but it kind of only scratches the surface of category theory IIUC.
I'd even argue it doesn't actually teach CT. It barely gets to adjoints but it doesn't present representables, Yoneda... Does it even do functor categories?
I like logicmatters.net/categories/ and the author*'s own guide: material accessible to philosphers is accessible to CS people.
1
1
Heh, my 'IIUC' was referring to your past comments! Thanks for jumping in, I was trying to remember that link that you had mentioned last time we were discussing this.