sheaf-theory topic

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

iblech

A specialised computer algebra system for topos theory.

locusmath

Sheaves library for graph abstractions based on NetworkX

arquicanedo