Other 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