Skip to content

bmorphism/awesome-applied-category-theory

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

15 Commits
 
 
 
 

Repository files navigation

Awesome applied category theory

A curated list of awesome 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.

  • Conexus - developing CQL, a tool for data migrations
  • Statebox - building a formally verified process language using robust mathematical principles to prevent errors, allow compositionality and ensure termination

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

Software libraries

Libraries to actually encode category theory in software.

Tools

Useful tools for applied category theory.

  • 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

About

ACT community resources

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published