CAP — a categorical (re)organization of computer algebra
Talk at the Topos Institute Colloquium
Recent posts
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
Functor Categories, Model Theory, and Constructive Category Theory
Workshop at University of Málaga July 03-07, 2023