tiny

Author: UlrikBuchholtz

cats.tex

@@ -1495,7 +1495,7 @@ \section{Limits and colimits}
 In other words, a coproduct cocone is an initial cocone
 under the pair of objects $A,B$.
 
-In the wild category of types, we have coproduct cocones $(A \coprod B, \inl{}, \inr{})$. We haven't yet seen the coproduct of groups;
+In the wild category of types, we have the coproduct cocones $(A \coprod B, \inl{}, \inr{})$. We haven't yet seen the coproduct of groups;
 knowing about products and categorical duality, we'd be bound to discover
 them! We shall study them in~\cref{sec:coprod}.