Skip to content

Commit

Permalink
Use consistent epsilon symbol (#335)
Browse files Browse the repository at this point in the history
  • Loading branch information
EFanZh authored Oct 20, 2024
1 parent d13765c commit 1bd3e36
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
4 changes: 2 additions & 2 deletions src/content/3.2/adjunctions.tex
Original file line number Diff line number Diff line change
Expand Up @@ -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}%
Expand All @@ -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}
Expand Down
2 changes: 1 addition & 1 deletion src/content/3.9/algebras-for-monads.tex
Original file line number Diff line number Diff line change
Expand Up @@ -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}%
Expand Down

0 comments on commit 1bd3e36

Please sign in to comment.