You may have spotted that I have created a new category called, expressively, "Book". This is primarily for when I review books, which I am going to do more, but also when a book raises issues I want to comment on, or just mock. I've gone back and added this tag to a few posts from the past, so see if it helps. You can access the categories via the Archives page.
More like this
Let's talk a bit about functors. Functors are fun!
What's a functor? I already gave the short definition: a structure-preserving mapping between categories. Let's be a bit more formal. What does the structure-preserving property mean?
By now, we've seen the simple algebraic monoid, which is essentially an
A more than unusually obscure headline perhaps. Here's the link. I noticed, because my watchlist contained a pile of changes like:
The thing that I think is most interesting about category theory is that what it's really fundamentally about is structure. The abstractions of category theory let you talk about structures in an elegant way; and category diagrams let you illustrate structures in a simple visual way.