cat theory tweaks
authorJim Pryor <profjim@jimpryor.net>
Tue, 2 Nov 2010 12:45:21 +0000 (08:45 -0400)
committerJim Pryor <profjim@jimpryor.net>
Tue, 2 Nov 2010 12:45:21 +0000 (08:45 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
advanced_topics/monads_in_category_theory.mdwn

index 07977f2..293c7e3 100644 (file)
@@ -122,10 +122,10 @@ Consider four categories <b>B</b>, <b>C</b>, <b>D</b>, and <b>E</b>. Let `F` be
        - <b>B</b> -+ +--- <b>C</b> --+ +---- <b>D</b> -----+ +-- <b>E</b> --
                 | |        | |            | |
         F: ------> G: ------>     K: ------>
-                | |        | |  | &eta;     | |  | &psi;
+                | |        | |  | &eta;       | |  | &psi;
                 | |        | |  v         | |  v
                 | |    H: ------>     L: ------>
-                | |        | |  | &phi;     | |
+                | |        | |  | &phi;       | |
                 | |        | |  v         | |
                 | |    J: ------>         | |
        -----+ +--------+ +------------+ +-------