Mercurial > hg > Members > kono > Proof > category
directory /src/ @ 1124:f683d96fbc93 default tip
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 Category/
|
drwxr-xr-x | |
 CCC.agda
|
17101 | -rw-r--r-- |
|
CCCGraph.agda
|
15609 | -rw-r--r-- |
|
CCCMonoidal.agda
|
6109 | -rw-r--r-- |
|
CCCSets.agda
|
22335 | -rw-r--r-- |
|
CCChom.agda
|
28754 | -rw-r--r-- |
|
CatExponetial.agda
|
5882 | -rw-r--r-- |
|
Category.agda
|
4504 | -rw-r--r-- |
|
Ch0101.agda
|
4022 | -rw-r--r-- |
|
Comma.agda
|
4944 | -rw-r--r-- |
|
Comma1.agda
|
7581 | -rw-r--r-- |
|
Definitions.agda
|
36709 | -rw-r--r-- |
|
HomReasoning.agda
|
7293 | -rw-r--r-- |
|
Polynominal.agda
|
25825 | -rw-r--r-- |
|
S.agda
|
2551 | -rw-r--r-- |
|
SetsCompleteness.agda
|
12649 | -rw-r--r-- |
|
SetsCompleteness1.agda
|
7304 | -rw-r--r-- |
|
ToposEx.agda
|
18928 | -rw-r--r-- |
|
ToposIL.agda
|
10941 | -rw-r--r-- |
|
ToposSub.agda
|
3313 | -rw-r--r-- |
|
adj-monad.agda
|
4416 | -rw-r--r-- |
|
applicative.agda
|
39428 | -rw-r--r-- |
|
bi-ccc.agda
|
5315 | -rw-r--r-- |
|
category-ex.agda
|
298 | -rw-r--r-- |
|
code-data.agda
|
8988 | -rw-r--r-- |
|
cokleisli.agda
|
5020 | -rw-r--r-- |
|
comparison-em.agda
|
6738 | -rw-r--r-- |
|
comparison-functor.agda
|
9606 | -rw-r--r-- |
|
em-category.agda
|
12996 | -rw-r--r-- |
|
epi.agda
|
6435 | -rw-r--r-- |
|
equalizer.agda
|
22071 | -rw-r--r-- |
|
free-monoid.agda
|
13270 | -rw-r--r-- |
|
freyd.agda
|
5535 | -rw-r--r-- |
|
freyd1.agda
|
16456 | -rw-r--r-- |
|
freyd2.agda
|
21820 | -rw-r--r-- |
|
graph.agda
|
8643 | -rw-r--r-- |
|
group.agda
|
12389 | -rw-r--r-- |
|
idF.agda
|
1853 | -rw-r--r-- |
|
kleisli.agda
|
24355 | -rw-r--r-- |
|
level-ex.agda
|
244 | -rw-r--r-- |
|
limit-to.agda
|
14917 | -rw-r--r-- |
|
list-level.agda
|
4260 | -rw-r--r-- |
|
list-monoid-cat.agda
|
4195 | -rw-r--r-- |
|
list-nat.agda
|
4011 | -rw-r--r-- |
|
list-nat0.agda
|
3220 | -rw-r--r-- |
|
list.agda
|
129 | -rw-r--r-- |
|
maybe-monad.agda
|
4898 | -rw-r--r-- |
|
monad→monoidal.agda
|
12480 | -rw-r--r-- |
|
monoid-monad.agda
|
6757 | -rw-r--r-- |
|
monoidal.agda
|
24945 | -rw-r--r-- |
|
negnat.agda
|
4730 | -rw-r--r-- |
|
pullback.agda
|
30205 | -rw-r--r-- |
|
record-ex.agda
|
975 | -rw-r--r-- |
|
representable.agda
|
1286 | -rw-r--r-- |
|
stdalone-kleisli.agda
|
27725 | -rw-r--r-- |
|
system-f.agda
|
11685 | -rw-r--r-- |
|
system-t.agda
|
8341 | -rw-r--r-- |
|
universal-mapping.agda
|
34725 | -rw-r--r-- |
|
yoneda.agda
|
18378 | -rw-r--r-- |