Skip to content

Commit 1bd3e36

Browse files
authored
Use consistent epsilon symbol (#335)
1 parent d13765c commit 1bd3e36

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

src/content/3.2/adjunctions.tex

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -157,7 +157,7 @@ \section{Adjunction and Unit/Counit Pair}
157157
\centering
158158
\begin{tikzcd}[column sep=large, row sep=large]
159159
L \arrow[rd, equal] \arrow[r, "L \circ \eta"]
160-
& L \circ R \circ L \arrow[d, "\epsilon \circ L"] \\
160+
& L \circ R \circ L \arrow[d, "\varepsilon \circ L"] \\
161161
& L
162162
\end{tikzcd}
163163
\end{subfigure}%
@@ -166,7 +166,7 @@ \section{Adjunction and Unit/Counit Pair}
166166
\centering
167167
\begin{tikzcd}[column sep=large, row sep=large]
168168
R \arrow[rd, equal] \arrow[r, "\eta \circ R"]
169-
& R \circ L \circ R \arrow[d, "R \circ \epsilon"] \\
169+
& R \circ L \circ R \arrow[d, "R \circ \varepsilon"] \\
170170
& R
171171
\end{tikzcd}
172172
\end{subfigure}

src/content/3.9/algebras-for-monads.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -330,7 +330,7 @@ \section{Coalgebras for Comonads}
330330
\centering
331331
\begin{tikzcd}[column sep=large, row sep=large]
332332
a \arrow[rd, equal]
333-
& Wa \arrow[l, "\epsilon_a"'] \\
333+
& Wa \arrow[l, "\varepsilon_a"'] \\
334334
& a \arrow[u, "\mathit{coa}"']
335335
\end{tikzcd}
336336
\end{subfigure}%

0 commit comments

Comments
 (0)