From 34756354d879022b70d85caf85497aff1fe28b2e Mon Sep 17 00:00:00 2001 From: EFanZh Date: Sun, 20 Oct 2024 21:54:07 +0800 Subject: [PATCH] Use consistent epsilon symbol --- src/content/3.2/adjunctions.tex | 4 ++-- src/content/3.9/algebras-for-monads.tex | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/content/3.2/adjunctions.tex b/src/content/3.2/adjunctions.tex index a61a03280..3cf7e9365 100644 --- a/src/content/3.2/adjunctions.tex +++ b/src/content/3.2/adjunctions.tex @@ -157,7 +157,7 @@ \section{Adjunction and Unit/Counit Pair} \centering \begin{tikzcd}[column sep=large, row sep=large] L \arrow[rd, equal] \arrow[r, "L \circ \eta"] - & L \circ R \circ L \arrow[d, "\epsilon \circ L"] \\ + & L \circ R \circ L \arrow[d, "\varepsilon \circ L"] \\ & L \end{tikzcd} \end{subfigure}% @@ -166,7 +166,7 @@ \section{Adjunction and Unit/Counit Pair} \centering \begin{tikzcd}[column sep=large, row sep=large] R \arrow[rd, equal] \arrow[r, "\eta \circ R"] - & R \circ L \circ R \arrow[d, "R \circ \epsilon"] \\ + & R \circ L \circ R \arrow[d, "R \circ \varepsilon"] \\ & R \end{tikzcd} \end{subfigure} diff --git a/src/content/3.9/algebras-for-monads.tex b/src/content/3.9/algebras-for-monads.tex index 939bec889..f76398d3e 100644 --- a/src/content/3.9/algebras-for-monads.tex +++ b/src/content/3.9/algebras-for-monads.tex @@ -330,7 +330,7 @@ \section{Coalgebras for Comonads} \centering \begin{tikzcd}[column sep=large, row sep=large] a \arrow[rd, equal] - & Wa \arrow[l, "\epsilon_a"'] \\ + & Wa \arrow[l, "\varepsilon_a"'] \\ & a \arrow[u, "\mathit{coa}"'] \end{tikzcd} \end{subfigure}%