Mercurial > hg > Members > kono > Proof > category
graph
-
Reasoning2013-07-22, by Shinji KONO
-
reasoning2013-07-22, by Shinji KONO
-
universalMapping2013-07-22, by Shinji KONO
-
isUniversalMapping2013-07-22, by Shinji KONO
-
f∗ = ε(b)F(f),2013-07-22, by Shinji KONO
-
trying...2013-07-22, by Shinji KONO
-
add Adj to Universal Mapping2013-07-22, by Shinji KONO
-
Adjoint2013-07-22, by Shinji KONO
-
add universal mapping2013-07-22, by Shinji KONO
-
fix2013-07-13, by Shinji KONO
-
notation2013-07-13, by Shinji KONO
-
fix2013-07-12, by Shinji KONO
-
fix2013-07-12, by Shinji KONO
-
join association finish2013-07-12, by Shinji KONO
-
on going2013-07-12, by Shinji KONO
-
on going2013-07-12, by Shinji KONO
-
join assoc on going...2013-07-12, by Shinji KONO
-
add some law2013-07-12, by Shinji KONO
-
unity law 12013-07-12, by Shinji KONO
-
clean up list-nat2013-07-12, by Shinji KONO
-
nat2013-07-12, by Shinji KONO
-
reasoning worked.2013-07-12, by Shinji KONO
-
not working yet2013-07-11, by Shinji KONO
-
sss2013-07-09, by Shinji KONO
-
list nat2013-07-09, by Shinji KONO
-
not yet worked2013-07-08, by Shinji KONO
-
Reasoning on going...2013-07-08, by Shinji KONO
-
Reasoning complete!2013-07-07, by Shinji KONO
-
reasoning test2013-07-07, by Shinji KONO
-
reasoning2013-07-07, by Shinji KONO
-
reasoning2013-07-07, by Shinji KONO
-
refl and trans2013-07-07, by Shinji KONO
-
Reasoning2013-07-07, by Shinji KONO
-
add accessor2013-07-06, by Shinji KONO
-
Kleisli Proposition2013-07-06, by Shinji KONO
-
fix2013-07-05, by Shinji KONO
-
Kleisli2013-07-05, by Shinji KONO
-
unity1 unity22013-07-05, by Shinji KONO
-
Monad2013-07-05, by Shinji KONO
-
category agda2013-07-05, by Shinji KONO