Sheafification as a geometric tripos-to-topos adjunction

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.