X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=advanced_topics%2Fmonads_in_category_theory.mdwn;h=ac99f975230ac561e8cebf9873874cd3ecfa5f2b;hp=293c7e3129658647cc88dffafa63ab81d9de8ea0;hb=0a12f0f768932cdab954e382615740695f2eb1db;hpb=c7334eb4f97a0298dc5a1f37fc203c3587d24536
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]