Mercurial > hg > Members > kono > Proof > category
comparison yoneda.agda @ 303:7f40d6a51c72
Limit form equalizer and product done.
Use equalizer to provle naturality of limit-ε
| author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Mon, 04 Nov 2013 14:46:07 +0900 |
| parents | d6a6dd305da2 |
| children | cf9c0f12cec5 |
comparison
equal
deleted
inserted
replaced
| 302:c5b2656dbec6 | 303:7f40d6a51c72 |
|---|