From 09cbfd91718d1407e52000a16b9175b18da8b8b2 Mon Sep 17 00:00:00 2001
From: Jon Sterling <jon@jonmsterling.com>
Date: Sat, 29 Jan 2022 20:57:42 +0100
Subject: [PATCH] tweak wording for clarity

---
 _nodes/002J.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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%}.