Rephrase colimit definition

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}