From c961a4669dc85ac4b0370f871e4578c191a6c139 Mon Sep 17 00:00:00 2001
From: Masahiro Kitagawa <arctica0316@gmail.com>
Date: Sat, 15 Feb 2025 12:46:06 +0900
Subject: [PATCH] fix: Add missing $q$

fix #351
---
 src/content/2.3/free-monoids.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/content/2.3/free-monoids.tex b/src/content/2.3/free-monoids.tex
index ff1e2c5f4..5521b61b7 100644
--- a/src/content/2.3/free-monoids.tex
+++ b/src/content/2.3/free-monoids.tex
@@ -201,7 +201,7 @@ \section{Free Monoid Universal Construction}
 
 \src{snippet09}
 whose image under $U$ (remember, $U$ is a functor, so it
-maps morphisms to functions) factorizes through $p$:
+maps morphisms to functions) factorizes $q$ through $p$:
 
 \src{snippet10}
 If you think of $p$ as selecting the generators in $m$;