CAP Days 2018

Workshop August 28th - August 31st 2018
University of Siegen

CAP (Categories, Algorithms, Programming) is a software project for constructive 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 in three parts:

The workshop aims at mathematicians who want to learn about the CAP project, categorical programming, and structurizing implementations in a categorical way. The workshop is suitable for both GAP newcomers and veteran GAP programmers.

Program information will be continuously updated on the program page.

Registering and stay

The workshop will take place at the University of Siegen. 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 SFB-TRR 195 – Symbolic Tools in Mathematics and their Application.