Program

Workshop

The program below is tentative and will be updated during the workshop

09:50 - 10:00: Welcome
10:00 - 11:00: Fabian Zickgraf: Introduction to CAP: Algorithmic category theory and applications (Part I)

Abstract: In this talk we explain the concept of algorithmic category theory and its implementation in our software project CAP - Categories, algorithms, programming. Furthermore, we show the benefits of CAP’s framework for algorithmic category theory.
11:00 - 11:30: Coffee break
11:30 - 12:30: Mohamed Barakat: Introduction to CAP: Algorithmic category theory and applications (Part II)
12:30 - 14:00: Lunch
14:00 - 15:00: Installation session and first exercise session (Notebooks: AbelianCategories.ipynb, GeneralizedMorphisms.ipynb)
15:00 - 15:30: Coffee break
15:30 - 16:30: Exercise session
16:30 - 17:30: Questions and discussions

09:00 - 10:00: Fabian Zickgraf: An introduction to CompilerForCAP
10:00 - 10:30: Coffee break
10:30 - 12:00: Mohamed Barakat: Live implementation of the catgory of bimonoids as a categorical tower
12:00 - 14:00: Lunch
14:00 - 15:00: Fabian Zickgraf: The category of ZX diagrams for quantum computing as a categorical tower
15:00 - 15:30: Coffee break
15:30 - 17:00: Exercise session/projects of participants
17:00 - 17:30: Stand-up: What did we achieve today?
19:00 Workshop Dinner at Ôjardin Amiens

09:00 - 10:00: Sebastian Posur: Induced functors on Drinfeld centers

Abstract: The center of a monoid is always a commutative monoid. This statement has a categorified version: the center of a monoidal category is always a braided monoidal category, called its Drinfeld center. This talk is motivated by the following question: can we find useful categorical tools for the construction of objects in the Drinfeld center? For this, we show how to construct induced (op)lax monoidal functors between Drinfeld centers from a given (op)monoidal adjunction for which the so-called projection formula holds. These induced functors can then be used for the construction of internal (co)algebra objects in the Drinfeld center. We also discuss when these induced functors are Frobenius monoidal functors. This is joint work (in progress) with Johannes Flake (Universität Bonn) and Robert Laugwitz (University of Nottingham).
10:00 - 10:30: Coffee break
10:30 - 12:00: Exercise session/projects of participants
12:00 - 14:00: Lunch
14:00 - 15:30: Exercise session/projects of participants
15:00 - 15:30: Coffee break
15:30 - 17:00: Exercise session/projects of participants
17:00 - 17:30: Stand-up: What did we achieve today?
19:00: Ile Aux Fruits