Actegories

If you saw TFA and thought "hmmm yes, I know some of those words", then I can recommend the author's own lecture series on YouTube [0]. It's an intro to and overview of category theory aimed at programmers, with the requisite context and motivation for why anyone should care. It's long but worth the time investment IMHO.

0: http://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7...

	▲	mkw5053 3 hours ago \| parent [-]
		He also has an excellent online/PDF version of the material[0]. All of it is really mind opening stuff, and fun! [0] https://bartoszmilewski.com/2014/10/28/category-theory-for-p...

▲

ultimatefan1 3 hours ago | parent | prev | next [-]

this has a real "a monad is a monoid in the category of endofunctors" energy to it

	▲	paulluuk 3 hours ago \| parent [-]
		> To understand actegories, let’s start with the definition of a monoidal category Definitely not written for someone with my starting knowledge, haha.

▲

xqb64 28 minutes ago | parent | prev | next [-]

I'd like to understand how and why this stuff is useful for programmers.

▲

speed_spread an hour ago | parent | prev [-]

Uh thanks but I'm gonna stick with Scattergories for now.