For those in the SF area, a group[1] recently started working through Bartosz Milewski's Category Theory for Programmers [2]. [1] https://www.meetup.com/SF-Typ

For those in the SF area, a group[1] recently started working through Bartosz Milewski's Category Theory for Programmers [2]. [1] https://www.meetup.com/SF-Types-Theorems-and-Programming-Languages/events/255385123/ https://www.meetup.com/SF-Types-Theorems-and-Programming-Lan... [2] https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ https://bartoszmilewski.com/2014/10/28/category-theory-for-p...