Mercurial > hg > Members > kono > Proof > category

annotate README.txt @ 771:e4da3cd39fed

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial Bitbucket Pipelines configuration
author shinji_kono <kono@ie.u-ryukyu.ac.jp>
date Wed, 13 Dec 2017 00:24:39 +0000
parents 6ccda88f5561
children 60942538dc41
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
476
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 -- basic training
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 level-ex.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 list-level.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 list.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 record-ex.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 negnat.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 system-f.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 system-t.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 -- Category Utilities
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 HomReasoning.agda -- extensions for reasoning
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 cat-utility.agda -- basic category constructs
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 -- Category Theorems
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 idF.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 category-ex.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 list-monoid-cat.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 list-nat.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 list-nat0.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 maybe-monad.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 maybeCat.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 monoid-monad.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 yoneda.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 -- Monad and adjunction
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 kleisli.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 em-category.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 adj-monad.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 comparison-em.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 comparison-functor.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 -- Limit
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 equalizer.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 universal-mapping.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 free-monoid.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 CatExponetial.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 pullback.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 discrete.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 limit-to.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 -- no yet finished
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 freyd.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 Comma.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 linton.agda
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 -- repositories
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55
6ccda88f5561 add README
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 https://bitbucket.org/shinji_kono/category-exercise-in-agda/src