Open gwils opened 9 years ago
Not going to happen due to lack of interest.
I think a combination of those resources would be pretty good. It'd be nice to come up with a syllabus, and to make sure that we have examples for all of it for Hask and probably a few subcategories of Hask.
I am interested in this topic
I'd be keen to learn some CT. I know next to nothing about it currently, but if I'm up to it I could potentially tackle one of the earlier talks as a motivation to learn.
There still seems to be interest. Who could present?
I think it would be useful and fun to have an introductory Category Theory (CT) series at BFPG.
This could be done in a similar format to how we did the Yorgey lectures in 2014. That is, we'd have one talk per month on CT, hopefully with a different presenter each time.
Some questions to start a discussion:
[1] Potential resources include Bartosz Milewski's blog series and Conceptual Mathematics