TY - BOOK T1 - Sheaves in Geometry and Logic UR - https://doi.org/10.1007/978-1-4612-0927-0 PY - 1994/01/01 AU - Mac Lane S AU - Moerdijk I ED - DO - DOI: 10.1007/978-1-4612-0927-0 PB - Springer New York SN - 9780387977102 Y2 - 2025/10/10 ER -