CAP Days 2024

Workshop July 1-5, 2024
Université de Picardie Jules Verne, Amiens, France

CAP (shorthand for Categories, Algorithms, Programming) is a software project for algorithmic category theory written in GAP. It facilitates both the realization of specific instances of categories and the implementation of generic categorical algorithms.

The workshop is split into three kinds of activities:

  1. Introductory talks about algorithmic category theory (ALCT), CAP as a dialect of ALCT, and CompilerForCAP.

  2. An explicit live show-case implementation of a category constructor and an explicit categorical tower.

  3. Exercise sessions implementing categorical algorithms in CAP. Participants are also invited to implement their own work in CAP and we will be happy to provide help.

The workshop aims at mathematicians, physicists, and computer scientists who want to learn about applications of algorithmic category theory and how CAP can be used to structure implementations in a categorical way.

Program information will be continuously updated on the program page.

Registering and stay

The workshop will take place at the Université de Picardie Jules Verne, Amiens, France. Information about the exact location and accommodation options can be found on the location page.


If you have questions or suggestions, please contact the organizers:


This workshop is supported by UPJV.