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