Mercurial > hg > Members > kono > Proof > category
directory /src/ @ 1061:805a4113ad74
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 CCC.agda
|
13815 | -rw-r--r-- |
|
CCCGraph.agda
|
15565 | -rw-r--r-- |
|
CCCSets.agda
|
18364 | -rw-r--r-- |
|
CCChom.agda
|
29394 | -rw-r--r-- |
|
CatExponetial.agda
|
5877 | -rw-r--r-- |
|
Comma.agda
|
4899 | -rw-r--r-- |
|
Comma1.agda
|
7536 | -rw-r--r-- |
|
HomReasoning.agda
|
14132 | -rw-r--r-- |
|
Polynominal.agda
|
18845 | -rw-r--r-- |
|
S.agda
|
2494 | -rw-r--r-- |
|
SetsCompleteness.agda
|
20993 | -rw-r--r-- |
|
ToposEx.agda
|
18806 | -rw-r--r-- |
|
ToposIL.agda
|
2544 | -rw-r--r-- |
|
ToposSub.agda
|
3225 | -rw-r--r-- |
|
adj-monad.agda
|
4371 | -rw-r--r-- |
|
applicative.agda
|
40036 | -rw-r--r-- |
|
bi-ccc.agda
|
5270 | -rw-r--r-- |
|
cat-utility.agda
|
33107 | -rw-r--r-- |
|
category-ex.agda
|
266 | -rw-r--r-- |
|
code-data.agda
|
9233 | -rw-r--r-- |
|
cokleisli.agda
|
4975 | -rw-r--r-- |
|
comparison-em.agda
|
6693 | -rw-r--r-- |
|
comparison-functor.agda
|
9561 | -rw-r--r-- |
|
em-category.agda
|
13238 | -rw-r--r-- |
|
epi.agda
|
6431 | -rw-r--r-- |
|
equalizer.agda
|
22049 | -rw-r--r-- |
|
free-monoid.agda
|
14553 | -rw-r--r-- |
|
freyd.agda
|
6270 | -rw-r--r-- |
|
freyd1.agda
|
16231 | -rw-r--r-- |
|
freyd2.agda
|
21471 | -rw-r--r-- |
|
graph.agda
|
8602 | -rw-r--r-- |
|
idF.agda
|
1808 | -rw-r--r-- |
|
kleisli.agda
|
24310 | -rw-r--r-- |
|
level-ex.agda
|
244 | -rw-r--r-- |
|
limit-to.agda
|
14869 | -rw-r--r-- |
|
list-level.agda
|
4243 | -rw-r--r-- |
|
list-monoid-cat.agda
|
4100 | -rw-r--r-- |
|
list-nat.agda
|
4066 | -rw-r--r-- |
|
list-nat0.agda
|
3181 | -rw-r--r-- |
|
list.agda
|
128 | -rw-r--r-- |
|
maybe-monad.agda
|
5055 | -rw-r--r-- |
|
maybeCat.agda
|
6920 | -rw-r--r-- |
|
monad→monoidal.agda
|
39321 | -rw-r--r-- |
|
monoid-monad.agda
|
7663 | -rw-r--r-- |
|
monoidal.agda
|
24923 | -rw-r--r-- |
|
negnat.agda
|
4660 | -rw-r--r-- |
|
pullback.agda
|
30175 | -rw-r--r-- |
|
record-ex.agda
|
975 | -rw-r--r-- |
|
stdalone-kleisli.agda
|
27681 | -rw-r--r-- |
|
system-f.agda
|
11681 | -rw-r--r-- |
|
system-t.agda
|
8328 | -rw-r--r-- |
|
universal-mapping.agda
|
36372 | -rw-r--r-- |
|
yoneda.agda
|
19420 | -rw-r--r-- |