Mercurial > hg > Members > kono > Proof > category
graph
-
on going ...2017-11-23, by Shinji KONO
-
Sets is Monoidal2017-11-23, by Shinji KONO
-
Applicative ⇔ Monoidal2017-11-22, by Shinji KONO
-
fix2017-11-22, by Shinji KONO
-
add Applicative and HaskellMonoidal Functor2017-11-22, by Shinji KONO
-
clean up2017-11-21, by Shinji KONO
-
Monidal functor done.2017-11-21, by Shinji KONO
-
Monoidal Functor ( two functor remains )2017-11-21, by Shinji KONO
-
Monoidal Functor on going ...2017-11-21, by Shinji KONO
-
monodial cateogry and functor2017-11-21, by Shinji KONO
-
add definitions2017-11-21, by Shinji KONO
-
Monoidal Functor2017-11-21, by Shinji KONO
-
fix2017-11-20, by Shinji KONO
-
Monoidal category and applicative functor2017-11-20, by Shinji KONO
-
fix2017-11-13, by Shinji KONO
-
Added tag current for changeset 984518c56e962017-11-13, by Shinji KONO
-
fix2017-11-13, by Shinji KONO
-
fix comment2017-11-12, by Shinji KONO
-
change argument of Limit and K2017-11-12, by Shinji KONO
-
fix universal mapping done.2017-11-11, by Shinji KONO
-
fix again2017-11-11, by Shinji KONO
-
fix monad/adjunction definition2017-11-11, by Shinji KONO
-
Added tag current for changeset 14ad6ec8a6622017-11-08, by Shinji KONO
-
fix comment2017-11-08, by Shinji KONO
-
...2017-11-07, by Shinji KONO
-
...2017-11-07, by Shinji KONO
-
clean up2017-11-07, by Shinji KONO
-
clean up of pullback2017-11-07, by Shinji KONO
-
fix Product and pullback2017-11-07, by Shinji KONO
-
fh=gh done. limit from product and equalizer done2017-11-06, by Shinji KONO
-
...2017-11-05, by Shinji KONO
-
extensionality remains2017-11-05, by Shinji KONO
-
Product of Arrow is necessary ...2017-11-04, by Shinji KONO
-
two product as in CWM2017-11-04, by Shinji KONO
-
...2017-11-03, by Shinji KONO
-
...2017-11-03, by Shinji KONO
-
fix limit from product and equalizer (not yet finished )2017-11-03, by Shinji KONO
-
fix completeness2017-11-02, by Shinji KONO
-
fix2017-10-30, by Shinji KONO
-
remove comp from limit-to2017-10-30, by Shinji KONO
-
fix completeness2017-10-30, by Shinji KONO
-
SetCompleteness done!2017-10-30, by Shinji KONO
-
...2017-10-27, by Shinji KONO
-
...2017-10-23, by Shinji KONO
-
...2017-10-22, by Shinji KONO
-
...2017-10-22, by Shinji KONO
-
introducd HeterogeneousEquality2017-10-22, by Shinji KONO
-
move InitialObject to cat-utility2017-08-12, by Shinji KONO
-
maybe monad done2017-07-19, by Shinji KONO
-
add maybe-monad2017-07-19, by Shinji KONO
-
fix2017-07-16, by Shinji KONO
-
adjoint functor theorem done2017-07-06, by Shinji KONO
-
on going ...2017-07-06, by Shinji KONO
-
fix2017-07-06, by Shinji KONO
-
universal mapping2017-07-05, by Shinji KONO
-
uniquness2017-07-05, by Shinji KONO
-
solution2017-07-05, by Shinji KONO
-
rewritw solution2017-07-05, by Shinji KONO
-
id of Functor F2017-07-04, by Shinji KONO
-
fix2017-07-04, by Shinji KONO