TY - JOUR AU - Kock, Anders PY - 1986/07/01 Y2 - 2024/03/28 TI - Synthetic reasoning in differential geometry JF - Revista Colombiana de Matemáticas JA - rev.colomb.mat VL - 20 IS - 3-4 SE - Artículos DO - UR - https://revistas.unal.edu.co/index.php/recolma/article/view/32680 SP - 129-146 AB - <p>All manifolds acquire in the context of synthetic differential geometry (SDG) a binary relation, the "neighbour" relation ~, which is symmetric and reflexive, but not transitive.</p> ER -