Mercurial > hg > Members > kono > Proof > category
graph
-
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
-
Kleisli Category ...2013-07-25, by Shinji KONO
-
generalized distr and assco12013-07-25, by Shinji KONO
-
join implicit parameter2013-07-25, by Shinji KONO
-
cong-hom ?2013-07-25, by Shinji KONO
-
distr2013-07-25, by Shinji KONO
-
add pdf2013-07-25, by Shinji KONO
-
hd add pdf2013-07-25, by Shinji KONO
-
cleanup2013-07-25, by Shinji KONO
-
assoc proved.2013-07-25, by Shinji KONO
-
unity done2013-07-24, by Shinji KONO
-
unity12013-07-24, by Shinji KONO
-
UεF2013-07-24, by Shinji KONO
-
on going2013-07-24, by Shinji KONO
-
nat and functor comp2013-07-24, by Shinji KONO
-
add unitility2013-07-24, by Shinji KONO
-
Adjoint proved. All done.2013-07-23, by Shinji KONO
-
cleanup2013-07-23, by Shinji KONO
-
start adjunction2013-07-23, by Shinji KONO
-
nat-ε proved2013-07-23, by Shinji KONO
-
on going...2013-07-23, by Shinji KONO
-
on goging2013-07-23, by Shinji KONO
-
naturality of ε2013-07-23, by Shinji KONO
-
naturarity of η2013-07-22, by Shinji KONO
-
F is Functor proved.2013-07-22, by Shinji KONO
-
Functor cong done2013-07-22, by Shinji KONO
-
uniq-univeralMapping from Adjunction2013-07-22, by Shinji KONO
-
f replacement2013-07-22, by Shinji KONO
-
uniqness2013-07-22, by Shinji KONO
-
Functor Identity2013-07-22, by Shinji KONO
-
isFunctor2013-07-22, by Shinji KONO
-
Adjunction to Universal Mapping end2013-07-22, by Shinji KONO
-
Reasoning2013-07-22, by Shinji KONO
-
reasoning2013-07-22, by Shinji KONO