Generalized existential completions, regular and exact completions

Abstract

We apply the tool of generalized existential completion to deepen the study of regular and exact completions of existential, elementary Lawvere’s doctrines. In particular, we aim to establish when these completions of doctrines happen to coincide, respectively, with the regular and exact completion of particular weakly lex categories.

Davide Trotta

Postdoc

I am a mathematician, and my research is mainly focused on categorical logic and its applications in theoretical computer science.