From: Jim Pryor Date: Tue, 2 Nov 2010 12:45:21 +0000 (-0400) Subject: cat theory tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=c7334eb4f97a0298dc5a1f37fc203c3587d24536 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 07977f29..293c7e31 100644 --- a/advanced_topics/monads_in_category_theory.mdwn +++ b/advanced_topics/monads_in_category_theory.mdwn @@ -122,10 +122,10 @@ Consider four categories B, C, D, and E. Let `F` be - B -+ +--- C --+ +---- D -----+ +-- E -- | | | | | | F: ------> G: ------> K: ------> - | | | | | η | | | ψ + | | | | | η | | | ψ | | | | v | | v | | H: ------> L: ------> - | | | | | φ | | + | | | | | φ | | | | | | v | | | | J: ------> | | -----+ +--------+ +------------+ +-------