Speaker:
Josefien Kuijper
Affiliation:
Utrecht University
Date:
Fri, 15/11/2024 - 14:05 - 16:00
In recent years, many efforts have been made to formalise, in the most efficient way, Grothendieck’s six operations of sheaves (tensor product and internal hom, inverse and direct image, and exceptional inverse and direct image) and their properties. In addition, one might want to encode natural isomorphisms between the inverse image and exceptional inverse image for a certain class of “étale” morphisms, and between the direct image and the exceptional direct image for a class of “proper morphisms”.