Sheaves in geometry and logic | lit.salon