X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=advanced_topics%2Fmonads_in_category_theory.mdwn;h=07977f29b4328b4f46a2d3e5efda8f227bba1d11;hp=3e34f85b8e2841bacb7675190bd3e30ed77b425d;hb=9e80b25daf1427ebcde2715e35de10dc1a2dfa78;hpb=7026bf51a9211af0586d30d49b61ed187f897a79 diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn index 3e34f85b..07977f29 100644 --- a/advanced_topics/monads_in_category_theory.mdwn +++ b/advanced_topics/monads_in_category_theory.mdwn @@ -121,13 +121,13 @@ Consider four categories B, C, D, and E. Let `F` be
 	- B -+ +--- C --+ +---- D -----+ +-- E --
 		 | |        | |            | |
-	 F: -----→ G: -----→     K: -----→
+	 F: ------> G: ------>     K: ------>
 		 | |        | |  | η     | |  | ψ
 		 | |        | |  v         | |  v
-		 | |    H: -----→     L: -----→
+		 | |    H: ------>     L: ------>
 		 | |        | |  | φ     | |
 		 | |        | |  v         | |
-		 | |    J: -----→         | |
+		 | |    J: ------>         | |
 	-----+ +--------+ +------------+ +-------