Joe Moeller

I’ll start off with a clarification.

I have heard the requests to start posting lecture notes.

Last time, I mentioned that I would have changed up how I presented the initial information.

If you want to test out new control algorithms on a piece of machinery that costs billions of dollars, it’s probably a good idea to first test them out on machinery that only costs thousands of dollars first.

I’m currently teaching an informal course in category theory at Caltech.

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

Years ago, I would took a bunch of CS courses with C++ as the language of interest.

Category theory has been “applied” in one sense or another since the beginning.

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.

In this post, I’ll show you the diagrams I used while thinking about monoidal monads. this is building on the diagrams I show you in the first part.