Mercurial > hg > Members > kono > Proof > category
graph
-
remove Kleisli record2013-08-08, by Shinji KONO
-
monoid monad2013-08-03, by Shinji KONO
-
Comparison Functor all done.2013-08-02, by Shinji KONO
-
Comparison Functor for Eilenberg-Moore Category is constructed.2013-08-02, by Shinji KONO
-
Algebra2013-08-02, by Shinji KONO
-
on going (horizontal composition)2013-08-02, by Shinji KONO
-
on going2013-08-01, by Shinji KONO
-
problems written Comparison Functor on EM2013-08-01, by Shinji KONO
-
no yellow on em-category2013-08-01, by Shinji KONO
-
add Comparison functor for EM2013-08-01, by Shinji KONO
-
EM Resolution complete2013-08-01, by Shinji KONO
-
nat-μ2013-08-01, by Shinji KONO
-
ε^T and μ^t2013-08-01, by Shinji KONO
-
T ≃ (U^T ○ F^T)2013-08-01, by Shinji KONO
-
F^T and U^T constructed2013-08-01, by Shinji KONO
-
U^T and F^T problem written2013-08-01, by Shinji KONO
-
EM Category constructed2013-07-31, by Shinji KONO
-
field version2013-07-31, by Shinji KONO
-
constructed but some yellow remains2013-07-31, by Shinji KONO
-
Category._o_ /= Category.Category.Id2013-07-31, by Shinji KONO
-
resp and assoc2013-07-31, by Shinji KONO
-
idL, idR2013-07-31, by Shinji KONO
-
on going...2013-07-31, by Shinji KONO
-
no yellow. ready to define category2013-07-31, by Shinji KONO
-
yellow...2013-07-31, by Shinji KONO
-
on going...2013-07-31, by Shinji KONO
-
problem written2013-07-31, by Shinji KONO
-
on oging2013-07-31, by Shinji KONO
-
on goning2013-07-31, by Shinji KONO
-
on going ...2013-07-31, by Shinji KONO
-
Eilenberg-Moore Category start2013-07-30, by Shinji KONO
-
uniquness of comparison functor2013-07-29, by Shinji KONO
-
generated version of comparison functor2013-07-29, by Shinji KONO
-
seprate comparison functor2013-07-29, by Shinji KONO
-
fix2013-07-29, by Shinji KONO
-
nat-μ2013-07-29, by Shinji KONO
-
Comparison Functor constructed2013-07-29, by Shinji KONO
-
distr continue..2013-07-28, by Shinji KONO
-
K_T identity2013-07-28, by Shinji KONO
-
strange but worked.2013-07-28, by Shinji KONO
-
on going2013-07-28, by Shinji KONO
-
KtoT2013-07-28, by Shinji KONO
-
on going2013-07-28, by Shinji KONO
-
MEsolution2013-07-27, by Shinji KONO
-
resosultion2013-07-27, by Shinji KONO
-
Resoution?2013-07-27, by Shinji KONO
-
record Resolution2013-07-27, by Shinji KONO
-
Comparison Functor2013-07-27, by Shinji KONO
-
fix2013-07-27, by Shinji KONO
-
Resolution Adjoint proved.2013-07-27, by Shinji KONO
-
Adjoint of U_T F_T2013-07-27, by Shinji KONO
-
on going2013-07-26, by Shinji KONO
-
on going2013-07-26, by Shinji KONO
-
Resolution U_T, F_T2013-07-26, by Shinji KONO
-
U done2013-07-26, by Shinji KONO
-
Comparison Functor2013-07-26, by Shinji KONO
-
Kleisli Category constructed2013-07-26, by Shinji KONO
-
on going2013-07-26, by Shinji KONO
-
stack overflow solved by moving implicit parameters to module parameters2013-07-26, by Shinji KONO
-
Kleisli category problem written2013-07-26, by Shinji KONO