I have heard the requests to start posting lecture notes. I’ll get to it soon. These posts are my reflections on the experience of putting this course together and how the students respond. I’ve committed one of the cardinal sins of teaching category theory. I never mentioned the fact that the naming convention for categoriesContinueContinue reading “Teaching category theory to engineers (part 3)”
Tag Archives: monoids
Delooping, and internalization vs enrichment
Originally I was planning to write a post called something like “monoid facts everyone should know”, but I’m going easy on myself and giving you just one fact for now. If you ask someone for the definition of a monoid, there are two sorts of answers you’ll get: it’s a set equipped with an associativeContinueContinue reading “Delooping, and internalization vs enrichment”