We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 1dc8a49 commit 91351d7Copy full SHA for 91351d7
src/content/3.11/kan-extensions.tex
@@ -199,7 +199,7 @@ \section{Kan Extension as Adjunction}
199
\section{Left Kan Extension}
200
201
There is a dual construction that gives us the left Kan extension. To
202
-build some intuition, we'll can start with the definition of a colimit
+build some intuition, we'll start with the definition of a colimit
203
and restructure it to use the singleton category $\cat{1}$. We build a
204
cocone by using the functor $D \Colon \cat{I} \to \cat{C}$ to form its
205
base, and the functor $F \Colon \cat{1} \to \cat{C}$ to select its apex.
0 commit comments