diff --git a/constructions.tex b/constructions.tex
index b8ce21a65ffd280e1dc64228618e8a02cae32dd0..89b4db968e482484e19a01c80da71b0f440765dd 100644
--- a/constructions.tex
+++ b/constructions.tex
@@ -73,10 +73,10 @@
 \end{definition}
 
 \begin{definition}\label{def:colimit}\label{def:cocone}
-  A \emph{colimit} is a \emph{cocone}
+  A \emph{colimit}
   \(\left(K, \left(\inm{j} : \map{F(j)}{K}\right)_{j \in
-      \Ob{\J}}\right)\) is \de{dual} to a
-  \de{limit}, ensuring
+      \Ob{\J}}\right)\) is a \emph{cocone}, \de{dual} to a
+  \de{limit}, and ensures
   \[ \forall j \in \Ob{\J} \forall C \exists! h : \map{K}{C} \st h \circ \inm{j} = f_j. \]
 \end{definition}