cat

A list of works and resources about double category theory, with a particular focus on applications. (If you’d like to add more, edit this nLab page) Link

Category theory is a way of thinking and structuring one’s knowledge grounded in the idea of compositionality. Originating in abstract mathematics, this is a formal language that has since spread to numerous fields, becoming a topic of interest for a growing number of researchers. It’s helped build rigorous bridges between seemingly disparate scientific areas, showing great potential as a cohesive force in the scientific world. These fields include physics, chemistry, computer science, game theory, systems theory, database theory, and most importantly for us, machine learning, where it’s seen a steady growth.

Category Theory has been finding increasing applications in machine learning. This repository aims to list all of the relevant papers, grouped by fields. Link

Category theory is close to the perfect language. It can be used to describe many mathematical ideas, and see the relations between them, and their deeper structure. This is the first video in a course where we will carefully introduce the main ideas of category theory, and motivate them with lots of applications. Link

A curated list of resources for studying category theory. As resources aimed at mathematicians are abundant, this list is aimed at materials whose target audience is not people with a graduate-level mathematics background. Link

Catlab.jl is a framework for applied and computational category theory, written in the Julia language. Catlab provides a programming library and interactive interface for applications of category theory to scientific and engineering fields. It emphasizes monoidal categories due to their wide applicability but can support any categorical structure that is formalizable as a generalized algebraic theory. Link

Why Compositionality Matters for AI Can Language Models Handle Compositionality? Link

This is a list of papers studying the theory and application of lenses and optics, as they’re used in category theory and functional programming. Many of papers are in multiple fields and some of these fields overlap. Let me know what’s missing! (preferably by creating a pull request) Link

Category theory is a toolset for describing the general abstract structures in mathematics. Link