TY - JOUR T1 - Topos theory PY - 1996/01/01 AU - MacLane S AU - Moerdijk I ED - DO - DOI: 10.1016/S1570-7954(96)80018-0 VL - 1 SP - 501 EP - 528 Y2 - 2024/12/22 ER -