Dipartimento di Matematica
Existential completion and pseudo-distributive laws: an algebraic approach to the completion of doctrines