projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2f14eb2
)
cat theory tweaks
author
Jim Pryor
<profjim@jimpryor.net>
Tue, 2 Nov 2010 13:28:56 +0000
(09:28 -0400)
committer
Jim Pryor
<profjim@jimpryor.net>
Tue, 2 Nov 2010 13:28:56 +0000
(09:28 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
advanced_topics/monads_in_category_theory.mdwn
patch
|
blob
|
history
diff --git
a/advanced_topics/monads_in_category_theory.mdwn
b/advanced_topics/monads_in_category_theory.mdwn
index
fe12655
..
44ab786
100644
(file)
--- a/
advanced_topics/monads_in_category_theory.mdwn
+++ b/
advanced_topics/monads_in_category_theory.mdwn
@@
-288,7
+288,7
@@
Next, consider the composite transformation <code>((join MG') -v- (MM γ))<
Composing them:
<pre>
- (2)
<code>((join MG') -v- (MM γ))</code> assigns to `C1` the morphism <code>join[MG'(C1)] ∘ MM(γ*)</code>
.
+ (2)
((join MG') -v- (MM γ)) assigns to `C1` the morphism join[MG'(C1)] ∘ MM(γ*)
.
</pre>
Next, consider the composite transformation <code>((M γ) -v- (join G))</code>.