TY - JOUR T1 - Path-lifting for Grothendieck toposes (vol 102, pg 241, 1988) JO - P AM MATH SOC PY - 1997/09/01 AU - Moerdijk I ED - VL - 125 IS - 9 SP - 2815 EP - 2818 Y2 - 2024/12/22 ER -