From fd00fe5cda07fd562bd68b57bf8b9e4e717c13d1 Mon Sep 17 00:00:00 2001
From: niyoushanajmaei <nioosha.naj@gmail.com>
Date: Thu, 4 Jan 2024 23:00:14 +0100
Subject: [PATCH] more consistent punctuation

---
 categories.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/categories.tex b/categories.tex
index a7c212f7..28d5400f 100644
--- a/categories.tex
+++ b/categories.tex
@@ -464,11 +464,11 @@ \section{Functors and transformations}
 We have a similar coherence result for units.
 
 \begin{lem}\label{ct:units}
-  For a functor $F:A\to B$, we have equalities $\id{(1_B\circ F)}{F}$ and $\id{(F\circ 1_A)}{F}$, such that given also $G:B\to C$, the following triangle of equalities commutes.
+  For a functor $F:A\to B$, we have equalities $\id{(1_B\circ F)}{F}$ and $\id{(F\circ 1_A)}{F}$, such that given also $G:B\to C$, the following triangle of equalities commutes:
   \[ \xymatrix{
     G\circ (1_B \circ F) \ar@{=}[rr] \ar@{=}[dr] &&
     (G\circ 1_B)\circ F \ar@{=}[dl] \\
-    & G \circ F}
+    & G \circ F.}
   \]
 \end{lem}