/awesome-applied-ct

ACT community resources

MIT LicenseMIT

Awesome Applied Category Theory

A curated list of Applied Category Theory resources.

Table of contents

Articles

Relevant articles applying category theory to various fields.

Databases

Data types

Dynamical systems

Game theory

Linguistics

Machine learning

Manufacturing

Petri nets

Probability and statistics

Books

Books on applied category theory.

Companies

Companies applying category theory.

Heavily using ACT

  • Conexus - A start-up developing CQL, a generalization of SQL to data migration and integration that contains an automated theorem prover to rule out most semantic errors at compile time.
  • Statebox - building a formally verified process language using robust mathematical principles to prevent errors, allow compositionality and ensure termination

Interested in ACT research

Conferences

  • ACT - Applied Category Theory Conference
  • Statebox Summit - An yearly gathering of category theorists and functional programmers
  • SYCO - Symposium on Compositional Structures

Journals

Academic journals on applied category theory.

  • Compositionality - open-access journal for research using compositional ideas, most notably of a category-theoretic origin, in any discipline

Lectures

Video recordings of lecture series on applied category theory.

Meetups

Software libraries

Libraries to actually encode category theory in software.

Tools

Useful tools for applied category theory.

  • Cartographer.id - a tool for string diagrammatic reasoning
  • Catlab.jl - an experimental framework for applied category theory
  • Homotopy.io - a web-based proof assistant for finitely-presented globular n-categories
  • KdMonCat - a tool for drawing morphisms in monoidal categories