From 0a12f0f768932cdab954e382615740695f2eb1db Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 2 Nov 2010 08:48:49 -0400 Subject: [PATCH] cat theory tweaks Signed-off-by: Jim Pryor --- advanced_topics/monads_in_category_theory.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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]
-- 
2.11.0