Mercurial > hg > Members > kono > Proof > category
directory / @ 297:537570f6a44f
| name | size | permissions |
|---|---|---|
 CatExponetial.agda
|
5816 | -rw-r--r-- |
|
HomReasoning.agda
|
7542 | -rw-r--r-- |
|
adj-monad.agda
|
4273 | -rw-r--r-- |
|
cat-utility.agda
|
13190 | -rw-r--r-- |
|
category-ex.agda
|
266 | -rw-r--r-- |
|
category.ind
|
43870 | -rw-r--r-- |
|
category.pdf
|
123818 | -rw-r--r-- |
|
comparison-em.agda
|
6704 | -rw-r--r-- |
|
comparison-functor-conv.agda
|
8524 | -rw-r--r-- |
|
comparison-functor.agda
|
9660 | -rw-r--r-- |
|
em-category.agda
|
13748 | -rw-r--r-- |
|
equalizer.agda
|
20165 | -rw-r--r-- |
|
free-monoid.agda
|
12180 | -rw-r--r-- |
|
idF.agda
|
1808 | -rw-r--r-- |
|
kleisli.agda
|
24116 | -rw-r--r-- |
|
level-ex.agda
|
235 | -rw-r--r-- |
|
list-level.agda
|
4189 | -rw-r--r-- |
|
list-monoid-cat.agda
|
4051 | -rw-r--r-- |
|
list-nat.agda
|
4012 | -rw-r--r-- |
|
list-nat0.agda
|
3132 | -rw-r--r-- |
|
list.agda
|
128 | -rw-r--r-- |
|
monoid-monad.agda
|
7733 | -rw-r--r-- |
|
pullback.agda
|
28920 | -rw-r--r-- |
|
record-ex.agda
|
851 | -rw-r--r-- |
|
universal-mapping.agda
|
34946 | -rw-r--r-- |
|
yoneda.agda
|
14349 | -rw-r--r-- |