Category Theory Talk Series

[gwils]

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:

• Do we write original material, or do we base our talks on an existing resource[1]?
• How many talks should the series have? Which topics do we want to cover in those talks?
• What is the current level of CT knowledge within the group? Will we be able to find presenters for later topics?

[1] Potential resources include Bartosz Milewski's blog series and Conceptual Mathematics

[gwils]

Not going to happen due to lack of interest.

[dalaing]

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.

[mperry]

I am interested in this topic

[ajmcmiddlin]

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.

[frasertweedale]

There still seems to be interest. Who could present?