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=29b6feb3e250ad195f8884215570afa5fe639ecf;hp=ac99f975230ac561e8cebf9873874cd3ecfa5f2b;hb=c4eb20ae862369e97cadef43183d0663f3eddd11;hpb=0a12f0f768932cdab954e382615740695f2eb1db diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn index ac99f975..29b6feb3 100644 --- a/advanced_topics/monads_in_category_theory.mdwn +++ b/advanced_topics/monads_in_category_theory.mdwn @@ -173,7 +173,7 @@ I'll assert without proving that vertical composition is associative and has an
(φ -h- η)[C1] = L(η[C1]) ∘ ψ[G(C1)] - = ψ[H(C1)] ∘ K(η[C1]) + = ψ[H(C1)] ∘ K(η[C1])Horizontal composition is also associative, and has the same identity as vertical composition.