Mercurial > hg > Papers > 2015 > atton-thesis
directory /fig/ @ 17:e2afa8266ecc
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 delta_example.graffle
|
24572 | -rw-r--r-- |
|
delta_example.pdf
|
14208 | -rw-r--r-- |
|
delta_example.xbb
|
221 | -rw-r--r-- |
|
functor.graffle
|
30418 | -rw-r--r-- |
|
functor.pdf
|
13327 | -rw-r--r-- |
|
functor.xbb
|
215 | -rw-r--r-- |
|
monad_laws.graffle
|
45194 | -rw-r--r-- |
|
monad_laws.pdf
|
15594 | -rw-r--r-- |
|
monad_laws.xbb
|
218 | -rw-r--r-- |
|
morphism_composition_law.graffle
|
20951 | -rw-r--r-- |
|
morphism_composition_law.pdf
|
26749 | -rw-r--r-- |
|
morphism_composition_law.xbb
|
232 | -rw-r--r-- |
|
natural_transformation.graffle
|
15132 | -rw-r--r-- |
|
natural_transformation.pdf
|
9400 | -rw-r--r-- |
|
natural_transformation.xbb
|
230 | -rw-r--r-- |
|
non_delta_example.graffle
|
19768 | -rw-r--r-- |
|
non_delta_example.pdf
|
14030 | -rw-r--r-- |
|
non_delta_example.xbb
|
225 | -rw-r--r-- |
|
ryukyu.pdf
|
31478 | -rw-r--r-- |
|
ryukyu.xbb
|
214 | -rw-r--r-- |
|
simple_category.graffle
|
14757 | -rw-r--r-- |
|
simple_category.pdf
|
8684 | -rw-r--r-- |
|
simple_category.xbb
|
221 | -rw-r--r-- |