Notes on how to use the internal language of toposes in algebraic geometry

Sheaves library for graph abstractions based on NetworkX

Handout and notes for a seminar in topology hold at FAU with focus on sheaf theory.

My master's thesis in the realm of Graph Neural Networks. In this work we propose a novel way to precompute the sheaf Laplacian motivated by the connection that exists between the global section of a sheaf and the minimization of the Dirichlet energy via graph convolution.