Teaching category theory to engineers (part 3)

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)”

Posets inside of categories

A poset can be thought of as a category with the property that each hom-set is either empty or singleton (technically that’s a preorder, but I’ll skip that for now). There’s also a category of posets. In my work lately, I’ve actually wanted to point at an object in a category and say “this oneContinueContinue reading “Posets inside of categories”