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.
Date
Sep 3, 2021 12:00 AM
Event
Category Theory 20->21
Location
University of Genova
Davide Trotta
Assistant professor (RTDA)
I am a mathematician, and my research is mainly focused on categorical logic and its applications in theoretical computer science.