Doctoral School in Mathematics
Existential completion and pseudo-distributive laws: an algebraic approach to the completion of doctrines