Mercurial > hg > Members > kono > Proof > category
graph
-
on going ...2017-04-24, by Shinji KONO
-
on going ...2017-04-24, by Shinji KONO
-
on going ...2017-04-24, by Shinji KONO
-
on ging ...2017-04-24, by Shinji KONO
-
try id equalizer2017-04-23, by Shinji KONO
-
dead end again ...2017-04-10, by Shinji KONO
-
on going ...2017-04-10, by Shinji KONO
-
on going ...2017-04-10, by Shinji KONO
-
dead end2017-04-09, by Shinji KONO
-
on going ...2017-04-09, by Shinji KONO
-
close2017-04-09, by Shinji KONO
-
give up this approach2017-04-09, by Shinji KONO
-
on going ...2017-04-09, by Shinji KONO
-
equ version on going ...2017-04-09, by Shinji KONO
-
on going ...2017-04-08, by Shinji KONO
-
equalizer approach2017-04-08, by Shinji KONO
-
fix ...2017-04-05, by Shinji KONO
-
close this2017-04-05, by Shinji KONO
-
snmeqeqt2017-04-05, by Shinji KONO
-
fix2017-04-05, by Shinji KONO
-
on going ...2017-04-04, by Shinji KONO
-
on going2017-04-04, by Shinji KONO
-
fix2017-04-01, by Shinji KONO
-
fix2017-04-01, by Shinji KONO
-
fix2017-04-01, by Shinji KONO
-
bad2017-03-31, by Shinji KONO
-
fix2017-03-31, by Shinji KONO
-
on going ...2017-03-30, by Shinji KONO
-
fix2017-03-30, by Shinji KONO
-
locally small2017-03-30, by Shinji KONO
-
fix2017-03-30, by Shinji KONO
-
add iso12017-03-30, by Shinji KONO
-
on going ....2017-03-30, by Shinji KONO
-
introducing snat2017-03-29, by Shinji KONO
-
use sequ2017-03-29, by Shinji KONO
-
equalizer does not fit2017-03-29, by Shinji KONO
-
on going ...2017-03-28, by Shinji KONO
-
on going ...2017-03-28, by Shinji KONO
-
fix2017-03-28, by Shinji KONO
-
fix2017-03-28, by Shinji KONO
-
fix ...2017-03-28, by Shinji KONO
-
Small Category for Sets Limit2017-03-28, by Shinji KONO
-
on going ...2017-03-27, by Shinji KONO
-
on going ..2017-03-26, by Shinji KONO
-
fix2017-03-26, by Shinji KONO
-
Equalizer in Sets done2017-03-26, by Shinji KONO
-
only yellow remains in uniquness2017-03-22, by Shinji KONO
-
k-cong done2017-03-22, by Shinji KONO
-
try hom equality in uniquness2017-03-21, by Shinji KONO
-
fix2017-03-21, by Shinji KONO
-
on going ..2017-03-21, by Shinji KONO
-
yellow remains ...2017-03-21, by Shinji KONO
-
on going ...2017-03-21, by Shinji KONO
-
on going ...2017-03-21, by Shinji KONO
-
on going ...2017-03-21, by Shinji KONO
-
on going ...2017-03-20, by Shinji KONO
-
fix2017-03-19, by Shinji KONO
-
equalizer in Sets , uniquness remains2017-03-19, by Shinji KONO
-
IProduct in Sets done2017-03-18, by Shinji KONO
-
IProduct is written in Sets2017-03-18, by Shinji KONO
-
fix2017-03-17, by Shinji KONO
-
fix2017-03-17, by Shinji KONO
-
on going ...2017-03-17, by Shinji KONO
-
on going...2017-03-17, by Shinji KONO
-
on going ...2017-03-17, by Shinji KONO
-
on going ..2017-03-16, by Shinji KONO
-
Sets completeness failed2017-03-16, by Shinji KONO
-
try to make prodcut and equalizer in Sets2017-03-15, by Shinji KONO
-
prove only limit preserving on co yoneda functor's obj2017-03-15, by Shinji KONO
-
UpreseveLimit detailing2017-03-15, by Shinji KONO
-
add if U is iso to representable functor then preserve limit2017-03-15, by Shinji KONO
-
fix2017-03-14, by Shinji KONO
-
fryed1 done2017-03-14, by Shinji KONO
-
unique direction 2 done2017-03-14, by Shinji KONO
-
on going using limit-uniquness directly2017-03-14, by Shinji KONO
-
on going..2017-03-13, by Shinji KONO
-
comma-a0 commuativity remains2017-03-13, by Shinji KONO
-
commaNat done2017-03-13, by Shinji KONO
-
on going ..2017-03-12, by Shinji KONO
-
commaLimit done, commaNat trying..2017-03-12, by Shinji KONO
-
found limit in freyd2017-03-12, by Shinji KONO
-
add some lemma but no use2017-03-12, by Shinji KONO
-
on going ...2017-03-11, by Shinji KONO
-
fix Limit pu a0 and t0 in record definition2017-03-11, by Shinji KONO
-
add NIC2017-03-11, by Shinji KONO
-
on going ...2017-03-10, by Shinji KONO
-
Completeness of Comma Category begin2017-03-10, by Shinji KONO
-
add Comma12017-03-10, by Shinji KONO
-
Comma Category with A B C2017-03-09, by Shinji KONO
-
Comma category2017-03-09, by Shinji KONO
-
add Comma category2017-03-08, by Shinji KONO
-
add README2017-03-07, by Shinji KONO
-
add license2017-03-07, by Shinji KONO
-
clean up2017-03-06, by Shinji KONO
-
close this2017-03-06, by Shinji KONO
-
discrete equality as a dom equality2017-03-06, by Shinji KONO
-
fix2017-03-06, by Shinji KONO
-
discrete should have Set based Obj2017-03-06, by Shinji KONO
-
discrete f ≡ refl should be passed, but it doesn't2017-03-06, by Shinji KONO
-
discrete category and product from a limit2017-03-06, by Shinji KONO
-
clean up2017-03-05, by Shinji KONO
-
clean up2017-03-04, by Shinji KONO
-
clean up2017-03-04, by Shinji KONO
-
document clean up2017-03-04, by Shinji KONO
-
document clean up2017-03-04, by Shinji KONO
-
clean up fix2017-03-04, by Shinji KONO
-
clean up2017-03-04, by Shinji KONO
-
limit-to done2017-03-03, by Shinji KONO
-
freyd trbouled again2017-03-02, by Shinji KONO
-
fix comment2017-03-02, by Shinji KONO
-
limit-to and discrete clean up2017-03-02, by Shinji KONO
-
limit with nat2017-03-02, by Shinji KONO
-
on going ...2017-03-02, by Shinji KONO
-
fix2017-03-02, by Shinji KONO
-
try incomplete pattern for discrete2017-03-02, by Shinji KONO
-
negnat2017-02-28, by Shinji KONO
-
add negation example2017-02-28, by Shinji KONO
-
bottom2017-02-27, by Shinji KONO
-
on goinhg ...2017-01-02, by Shinji KONO
-
discrete again with negation2017-01-02, by Shinji KONO