I’m commenting on this post probably two years too late, but I wanted to express my enthusiasm for this series you started on Category Theory! CT seems really cool and I recently started browsing Category Theory in Context by Emily Riehl, but paused because I felt like I haven’t explored enough different branches of math deeply to see the beauty in what Riehl was sharing. The few posts you wrote here on LW sparked my interest again. I’m writing mostly for myself now, but also as a clue for others that come next. My plan from here is to explore:
I’m commenting on this post probably two years too late, but I wanted to express my enthusiasm for this series you started on Category Theory! CT seems really cool and I recently started browsing Category Theory in Context by Emily Riehl, but paused because I felt like I haven’t explored enough different branches of math deeply to see the beauty in what Riehl was sharing. The few posts you wrote here on LW sparked my interest again. I’m writing mostly for myself now, but also as a clue for others that come next. My plan from here is to explore:
johnswentworth’s Category Theory Without The Baggage
johnswentworth’s CTWTB: Paths of Computation State
Richard Southwell’s Category Theory For Beginners: Introduction [58 min]
David Spivak/Brendan Fong/Topos Institute’s Applied Category Theory Video Series (@ MIT 2019) [15 lectures, about 50 min each]
Wikiversity Introduction to Category Theory