Applied category theorists are flocking to AI, because that’s where the money is. I avoid working on it, both because I have an instinctive dislike of ‘hot topics’, and because at present AI is mainly ...

Guest post by John Bourke. The next International Category Theory Conference CT2025 will take place at Masaryk University (Brno, Czech Republic) from Sunday, July 13 and will end on Saturday, July 19, ...

Category theory, K theory and homological algebra are interrelated branches of mathematics that comprise a powerful conceptual framework for studying structures and their interconnections. Category ...

The development of a concurrent system poses unique challenges, especially those related to correctness and consistency, as such a system usually involves several interactive processes executing ...

Archived, this repository is obsolete! The entire contents have long ago become part of Mathlib. This repository develops the basics of category theory in Lean. Some parts of this library have already ...

The human ecosystem is made of open and closed systems. While the earth is a closed system for matter but an open system for energy, the human body is considered an open system. There is a growing ...

Category theory has been finding increasing applications in machine learning. This repository aims to list all of the relevant papers, grouped by fields. For an introduction to the ideas behind ...

As a child, what did you want to do when you grew up? I wanted to be a mathematician, a pianist, a pastry chef, a newsreader, a Blue Peter presenter, be on a TV cooking show, be in a shampoo advert. I ...