Text this: Sheaves in geometry and logic :