cat theory tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>

diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn
index 3e34f85..07977f2 100644 (file)
--- a/advanced_topics/monads_in_category_theory.mdwn
+++ b/advanced_topics/monads_in_category_theory.mdwn
@@ -121,13 +121,13 @@ Consider four categories <b>B</b>, <b>C</b>, <b>D</b>, and <b>E</b>. Let `F` be
 <pre>
        - <b>B</b> -+ +--- <b>C</b> --+ +---- <b>D</b> -----+ +-- <b>E</b> --
                 | |        | |            | |
 <pre>
        - <b>B</b> -+ +--- <b>C</b> --+ +---- <b>D</b> -----+ +-- <b>E</b> --
                 | |        | |            | |

-        F: -----&rarr; G: -----&rarr;     K: -----&rarr;
+        F: ------> G: ------>     K: ------>

                 | |        | |  | &eta;     | |  | &psi;
                 | |        | |  v         | |  v
                 | |        | |  | &eta;     | |  | &psi;
                 | |        | |  v         | |  v

-                | |    H: -----&rarr;     L: -----&rarr;
+                | |    H: ------>     L: ------>

                 | |        | |  | &phi;     | |
                 | |        | |  v         | |
                 | |        | |  | &phi;     | |
                 | |        | |  v         | |

-                | |    J: -----&rarr;         | |
+                | |    J: ------>         | |

        -----+ +--------+ +------------+ +-------
 </pre>
 
        -----+ +--------+ +------------+ +-------
 </pre>