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-Lan... [2] https://bartoszmilewski.com/2014/10/28/category-theory-for-p...