Guilherme-Frederico Lima de Carvalho e Silva : From Essential Inclusions to Local Geometric Morphisms