From: Jim Pryor Date: Tue, 2 Nov 2010 12:48:49 +0000 (-0400) Subject: cat theory tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=0a12f0f768932cdab954e382615740695f2eb1db;ds=sidebyside cat theory tweaks Signed-off-by: Jim Pryor --- diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn index 293c7e31..ac99f975 100644 --- a/advanced_topics/monads_in_category_theory.mdwn +++ b/advanced_topics/monads_in_category_theory.mdwn @@ -154,7 +154,7 @@ by naturalness of η, is: φ[C2] ∘ η[C2] ∘ G(f) = J(f) ∘ φ[C1] ∘ η[C1] -Hence, we can define (φ -v- η)[x] as: φ[x] ∘ η[x] and rely on it to satisfy the constraints for a natural transformation from `G` to `J`: +Hence, we can define (φ -v- η)[\_] as: φ[\_] ∘ η[\_] and rely on it to satisfy the constraints for a natural transformation from `G` to `J`: 
 	(φ -v- η)[C2] ∘ G(f) = J(f) ∘ (φ -v- η)[C1]