This repository contains the log of our weekly reading group on: Sheaves in Geometry and Logic (Mac Lane, Moerdijk)