Mercurial > hg > Members > kono > Proof > category
graph
-
Hom a,b = Hom 1 b^a2019-04-21, by Shinji KONO
-
deduction theorem using category2019-04-21, by Shinji KONO
-
deduction theorem2019-04-21, by Shinji KONO
-
Sets is CCC2019-04-19, by Shinji KONO
-
CCC Hom done2019-04-19, by Shinji KONO
-
nat in ccc-22019-04-19, by Shinji KONO
-
...2019-04-18, by Shinji KONO
-
on going CCC2019-04-18, by Shinji KONO
-
ccc → hom on going2019-04-17, by Shinji KONO
-
add CCC hom2019-04-17, by Shinji KONO
-
CCC by equation2019-04-17, by Shinji KONO
-
fix2019-03-08, by Shinji KONO
-
fix for 2.5.4.22019-03-08, by Shinji KONO
-
CCC in Hom form2018-10-08, by Shinji KONO
-
CCC start2018-10-06, by Shinji KONO
-
fix applicative for Agda version 2.5.4.12018-09-26, by Shinji KONO
-
fix2018-09-26, by Shinji KONO
-
add epi2018-09-25, by Shinji KONO
-
exchange left and right2018-06-13, by Shinji KONO
-
add simple category version2018-06-13, by Shinji KONO
-
...2017-12-29, by Shinji KONO
-
fix2017-12-13, by Shinji KONO
-
Initial Bitbucket Pipelines configuration2017-12-13, by shinji_kono
-
fix2017-12-13, by Shinji KONO
-
clean up2017-12-12, by Shinji KONO
-
clean up2017-12-12, by Shinji KONO
-
Added tag current for changeset c30ca91f3a762017-12-12, by Shinji KONO
-
Applicative all done2017-12-12, by Shinji KONO
-
Applicative→HaskellMonoidal begin2017-12-11, by Shinji KONO
-
Added tag current for changeset 37ddc82288322017-12-11, by Shinji KONO
-
monad to applicative done.2017-12-11, by Shinji KONO
-
connected interchange2017-12-11, by Shinji KONO
-
...2017-12-11, by Shinji KONO
-
...2017-12-11, by Shinji KONO
-
...2017-12-11, by Shinji KONO
-
composition connected2017-12-11, by Shinji KONO
-
...2017-12-11, by Shinji KONO
-
...2017-12-11, by Shinji KONO
-
monad to haskell monoidal done.2017-12-11, by Shinji KONO
-
...2017-12-10, by Shinji KONO
-
...2017-12-10, by Shinji KONO
-
connected2017-12-10, by Shinji KONO
-
FMap remains2017-12-10, by Shinji KONO
-
assoc start2017-12-10, by Shinji KONO
-
yellow removed2017-12-10, by Shinji KONO
-
yellow on idrφ2017-12-10, by Shinji KONO
-
...2017-12-10, by Shinji KONO
-
...2017-12-09, by Shinji KONO
-
...2017-12-08, by Shinji KONO
-
...2017-12-08, by Shinji KONO
-
.. give up Monad to monoidal functor in general2017-12-05, by Shinji KONO
-
nat-ε2017-12-04, by Shinji KONO
-
assuming C = kleisli2017-12-04, by Shinji KONO
-
bad case 22017-12-04, by Shinji KONO
-
bad case 12017-12-04, by Shinji KONO
-
add monad to monoidal2017-12-04, by Shinji KONO
-
...2017-12-04, by Shinji KONO
-
...2017-12-02, by Shinji KONO
-
...2017-12-01, by Shinji KONO
-
...2017-11-30, by Shinji KONO