From 9e80b25daf1427ebcde2715e35de10dc1a2dfa78 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 2 Nov 2010 08:44:46 -0400 Subject: [PATCH] cat theory tweaks Signed-off-by: Jim Pryor --- advanced_topics/monads_in_category_theory.mdwn | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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: ------>         | |
 	-----+ +--------+ +------------+ +-------
-- 2.11.0