From c7334eb4f97a0298dc5a1f37fc203c3587d24536 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 2 Nov 2010 08:45:21 -0400 Subject: [PATCH] cat theory tweaks Signed-off-by: Jim Pryor --- advanced_topics/monads_in_category_theory.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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: ------> | | -----+ +--------+ +------------+ +------- -- 2.11.0