New math post on my blog: The inside-outness of category theory blog.plover.com/math/category-

A Mastodon instance for maths people. The kind of people who make $$\pi z^2 \times a$$ jokes. Use $$ and $$ for inline LaTeX, and $ and $ for display mode.