fix type in diagram of monads as coends (hmemcpy#226)

ocaml-lang · Nov 29, 2019 · d037a0b · d037a0b
1 parent 89589f8
commit d037a0b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/content/3.14/lawvere-theories.tex b/src/content/3.14/lawvere-theories.tex
@@ -498,7 +498,7 @@ \section{Monads as Coends}
     \arrow[dl, "\langle f {,} \id \rangle"']
     \arrow[dr, "\langle \id {,} f \rangle"] 
     & \\
-a^n \times \cat{L}(m, 1)
+a^m \times \cat{L}(m, 1)
   & \scalebox{2.5}[1]{\sim}
     & a^n \times \cat{L}(n, 1) \\
     & f \Colon m \to n &