projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
9eef361
)
cat theory testing
author
Jim Pryor
<profjim@jimpryor.net>
Tue, 2 Nov 2010 12:02:16 +0000
(08:02 -0400)
committer
Jim Pryor
<profjim@jimpryor.net>
Tue, 2 Nov 2010 12:02:16 +0000
(08:02 -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
0c139c6
..
74b5d57
100644
(file)
--- a/
advanced_topics/monads_in_category_theory.mdwn
+++ b/
advanced_topics/monads_in_category_theory.mdwn
@@
-21,6
+21,22
@@
Monoids
-------
A **monoid** is a structure `(S, *, z)` consisting of an associative binary operation `*` over some set `S`, which is closed under `*`, and which contains an identity element `z` for `*`. That is:
+<pre>this is
+my pre-only
+block
+</pre>
+
+<code>this is
+my code-only
+block
+</pre>
+
+<blockquote>this is
+my bq-only
+block
+</blockquote>
+
+
<blockquote><pre>
for all `s1`, `s2`, `s3` in `S`:
(i) `s1*s2` etc are also in `S`