Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Wed, 15 Mar 2017 12:10:24 +0900 | Shinji KONO | UpreseveLimit detailing |
Wed, 15 Mar 2017 11:19:54 +0900 | Shinji KONO | add if U is iso to representable functor then preserve limit |
Tue, 14 Mar 2017 13:37:07 +0900 | Shinji KONO | fix |
Tue, 14 Mar 2017 13:08:03 +0900 | Shinji KONO | fryed1 done |
Tue, 14 Mar 2017 12:14:57 +0900 | Shinji KONO | unique direction 2 done |
Tue, 14 Mar 2017 11:43:46 +0900 | Shinji KONO | on going using limit-uniquness directly |