Skip to content

Commit

Permalink
tweak wording for clarity
Browse files Browse the repository at this point in the history
  • Loading branch information
jonsterling committed Jan 29, 2022
1 parent fa24378 commit 09cbfd9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion _nodes/002J.md
Expand Up @@ -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%}.
Expand Down

0 comments on commit 09cbfd9

Please sign in to comment.