Speakers
Contributed Talks
Dagnino (DIBRIS - Università di Genova)
Doctrines of algebras as extensional quotient completions
abstract
Gavazzo (University of Padua)
An Allegorical Account of Operational Semantics
abstract
De Berardinis (Università degli Studi di Milano)
Presheaves as Kripke frames
abstract
Guffanti (University of Luxembourg)
Quantifier-free formulas and quantifier alternation depth in doctrines.
abstract
Trotta (University of Padua)
Presheaves, Sheaves and Sheafification via triposes
abstract
Perrone (University of Oxford)
The Formal Theory of Random Variables
abstract
Lorenzin (Universität Innsbruck)
A Gel’fand duality adjunction for measurable spaces
abstract
Misurati (University of Ferrara)
Quasi-Hopf algebras of dimension 6
abstract
Campanini
Building pretorsion theories from torsion theories
abstract
Cappelletti
Torsion theories and factorization systems in a non-pointed context
abstract
Capucci
On categorical notions of context
abstract
Emmenegger (Università di Genova)
A 2-categorical analysis of context comprehension
abstract
Spadetto (Università di Udine)
Higher dimensional semantics of propositional dependent type theories
abstract
Laretto (Tallinn University of Technology)
Directed equality with dinaturality
abstract
Pozzan (Università di Torino)
A Stone duality for the class of compact T1 spaces
abstract
Petrakis
Categories with dependent and codependent arrows
abstract
Loregian (Tallinn University of Technology)
Differential automata theory
abstract