projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
9e80b25
)
cat theory tweaks
author
Jim Pryor
<profjim@jimpryor.net>
Tue, 2 Nov 2010 12:45:21 +0000
(08:45 -0400)
committer
Jim Pryor
<profjim@jimpryor.net>
Tue, 2 Nov 2010 12:45:21 +0000
(08:45 -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
07977f2
..
293c7e3
100644
(file)
--- a/
advanced_topics/monads_in_category_theory.mdwn
+++ b/
advanced_topics/monads_in_category_theory.mdwn
@@
-122,10
+122,10
@@
Consider four categories <b>B</b>, <b>C</b>, <b>D</b>, and <b>E</b>. Let `F` be
- <b>B</b> -+ +--- <b>C</b> --+ +---- <b>D</b> -----+ +-- <b>E</b> --
| | | | | |
F: ------> G: ------> K: ------>
- | | | | | η | | | ψ
+ | | | | | η
| | | ψ
| | | | v | | v
| | H: ------> L: ------>
- | | | | | φ | |
+ | | | | | φ
| |
| | | | v | |
| | J: ------> | |
-----+ +--------+ +------------+ +-------