Computational Category Theory
Session at the ICMS 2026, Waterloo, Ontario, Canada, July 20-23, 2026
Recent posts
CAP — a categorical (re)organization of computer algebra
Talk at the Topos Institute Colloquium
CAP Days 2024
Workshop at Université de Picardie Jules Verne in Amiens, France, 1-5 of July, 2024
Equivariant Orlik-Solomon algebra of a matroid
Our research group is member of the DFG Special Priority Programme SPP 2458 “Combinatorial Synergies”.
Doctrine-specific ur-algorithms
Talk at The Berkeley Seminar