Sheafification as a geometric tripos-to-topos adjunction

Davide Trotta

Postdoc

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