Functor Categories, Model Theory, and Constructive Category Theory
University of Tartu, Pärnu College, Pärnu, Estonia
July 15-17, 2019
https://web.northeastern.edu/martsinkovsky/p/Parnu2019/FM.html
Organizers
Other 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 Topos Institute Berekely, California 18 March 2024
Functor Categories, Model Theory, and Constructive Category Theory
Workshop at University of Málaga July 03-07, 2023