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.
1
4
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.