diff --git a/_nodes/002J.md b/_nodes/002J.md index 6b5449f5..462a141f 100644 --- a/_nodes/002J.md +++ b/_nodes/002J.md @@ -4,7 +4,7 @@ macrolib: topos --- In a category $E$, a morphism $f : x\to y$ can be thought of as a "figure" -of shape $x$ valued in $y$. For instance, if $x$ is the point (i.e. +of shape $x$ drawn in $y$. For instance, if $x$ is the point (i.e. $x=\ObjTerm{E}$) then a morphism $x\to y$ is a "point" of the "space" $y$. We refer to $x$ as the figure-shape in any such scenario. The perspective of morphisms as figures is developed in more detail by Lawvere and Schanuel {%cite lawvere-schanuel:2009 -A%}.