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

index 293c7e3..ac99f97 100644 (file)
@@ -154,7 +154,7 @@ by naturalness of <code>&eta;</code>, is:
        &phi;[C2] &#8728; &eta;[C2] &#8728; G(f) = J(f) &#8728; &phi;[C1] &#8728; &eta;[C1]
 </pre>
 
        &phi;[C2] &#8728; &eta;[C2] &#8728; G(f) = J(f) &#8728; &phi;[C1] &#8728; &eta;[C1]
 </pre>
 
-Hence, we can define <code>(&phi; -v- &eta;)[x]</code> as: <code>&phi;[x] &#8728; &eta;[x]</code> and rely on it to satisfy the constraints for a natural transformation from `G` to `J`:
+Hence, we can define <code>(&phi; -v- &eta;)[\_]</code> as: <code>&phi;[\_] &#8728; &eta;[\_]</code> and rely on it to satisfy the constraints for a natural transformation from `G` to `J`:
 
 <pre>
        (&phi; -v- &eta;)[C2] &#8728; G(f) = J(f) &#8728; (&phi; -v- &eta;)[C1]
 
 <pre>
        (&phi; -v- &eta;)[C2] &#8728; G(f) = J(f) &#8728; (&phi; -v- &eta;)[C1]