From eb8634745ad128878197028b34fa9a02212c5839 Mon Sep 17 00:00:00 2001 From: Bartosz Milewski Date: Tue, 30 Mar 2021 14:37:29 -0700 Subject: [PATCH] Update limits-and-colimits.tex --- src/content/2.2/limits-and-colimits.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/content/2.2/limits-and-colimits.tex b/src/content/2.2/limits-and-colimits.tex index 54f51523..b3d51492 100644 --- a/src/content/2.2/limits-and-colimits.tex +++ b/src/content/2.2/limits-and-colimits.tex @@ -198,7 +198,7 @@ \section{Limit as a Natural Isomorphism} This special morphism is a member of the hom-set $\cat{C}(c, \Lim[D])$. The other members of this hom-set are less fortunate, in the sense that -they don't factorize the mapping of cones. What we want is to be able to +they don't factorize the mapping of the two cones. What we want is to be able to pick, for each $c$, one morphism from the set $\cat{C}(c, \Lim[D])$ --- a morphism that satisfies the particular commutativity condition. Does that sound like defining a natural