Category theory

“Check out this beautiful sequence of diagrams proving that right adjoints preserve limits. Found in @emilyriehl's category theory in context.”

Just what is category theory? Tai-Danae Bradley explains

Fig. 12: Transformation or mapping in categorical language as a morphism (functor) between two categories; the problemcategory (Pro) and the solution-category (Sol). - "Category Theory as a Formal Mathematical Foundation for Model-Based Systems Engineering"

Axiomatic Method And Category Theory

I am writing a blog post related to problem solving and one of the main techniques used in problem solving is drawing a diagram. Essentially, I want to illustrate that some hard problems (for examp...

Category Theory for Programmers (New Edition, Hardcover) by Bartosz Milewski | Blurb Books

Mathematicians are a creative bunch, especially when it comes to naming things. And category theorists are no exception. So here's a little spin on this xkcd comic . It's inspired by a recent conversation I had on Twitter and, well, every category theory book ever.

Once upon a time, we embarked on a mini-series about limits and colimits in category theory. Part 1 was a non-technical introduction that highlighted two ways mathematicians often make new mathematical objects from existing ones: by taking a subcollection of things, or by gluing things together. The first route leads to a construction called a limit, the second to a construction called a colimit.The formal definitions of limits and colimits were given in Part 2. There we noted that one…

Read sample