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=07977f29b4328b4f46a2d3e5efda8f227bba1d11;hp=3e34f85b8e2841bacb7675190bd3e30ed77b425d;hb=9e80b25daf1427ebcde2715e35de10dc1a2dfa78;hpb=7026bf51a9211af0586d30d49b61ed187f897a79 diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn index 3e34f85b..07977f29 100644 --- a/advanced_topics/monads_in_category_theory.mdwn +++ b/advanced_topics/monads_in_category_theory.mdwn @@ -121,13 +121,13 @@ Consider four categories B, C, D, and E. Let `F` be
- B -+ +--- C --+ +---- D -----+ +-- E -- | | | | | | - F: -----→ G: -----→ K: -----→ + F: ------> G: ------> K: ------> | | | | | η | | | ψ | | | | v | | v - | | H: -----→ L: -----→ + | | H: ------> L: ------> | | | | | φ | | | | | | v | | - | | J: -----→ | | + | | J: ------> | | -----+ +--------+ +------------+ +-------