Monthly Archives: April 2020

There are various ways that we can multiply vectors. We can multiply a vector by a scalar to get another vector: $w=\lambda v$. We can multiply a vector by a linear map to get another vector: $w=\alpha v$. We can … Continue reading →

In the last post, I talked about Monads on Monoids. We defined these by turning each monoid into a category (its delooping), and then looking at monads on this category. This data could then be reexpressed in terms of the … Continue reading →

This post is inspired by a couple of posts on math.stackexchange.com asking what a ‘monad on a monoid’ is. In category theory there are a couple of especially simple kinds of category. For any partial order we can put a … Continue reading →