From 01fb5873a9d28c219ef0c8b2900fec38fe5918f4 Mon Sep 17 00:00:00 2001
From: Jim Pryor
Date: Tue, 2 Nov 2010 11:08:09 -0400
Subject: [PATCH] cat theory tweaks
Signed-off-by: Jim Pryor
---
advanced_topics/monads_in_category_theory.mdwn | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn
index 0f38135e..1fae38d1 100644
--- a/advanced_topics/monads_in_category_theory.mdwn
+++ b/advanced_topics/monads_in_category_theory.mdwn
@@ -267,7 +267,7 @@ Summarizing then, the monad laws can be expressed as:
(iii.1) (unit G') <=< γ = γ
when γ is a natural transformation from some FG' to MG'
- (iii.2) γ = γ <=< (unit G)
+ (iii.2) γ = γ <=< (unit G)
when γ is a natural transformation from G to some MR'G
--
2.11.0