log

age author description
2013-07-25 Shinji KONO hd add pdf
2013-07-25 Shinji KONO cleanup
2013-07-25 Shinji KONO assoc proved.
2013-07-24 Shinji KONO unity done
2013-07-24 Shinji KONO unity1
2013-07-24 Shinji KONO UεF
2013-07-24 Shinji KONO on going
2013-07-24 Shinji KONO nat and functor comp
2013-07-24 Shinji KONO add unitility
2013-07-23 Shinji KONO Adjoint proved. All done.
2013-07-23 Shinji KONO cleanup
2013-07-23 Shinji KONO start adjunction
2013-07-23 Shinji KONO nat-ε proved
2013-07-23 Shinji KONO on going...
2013-07-23 Shinji KONO on goging
2013-07-23 Shinji KONO naturality of ε
2013-07-22 Shinji KONO naturarity of η
2013-07-22 Shinji KONO F is Functor proved.
2013-07-22 Shinji KONO Functor cong done
2013-07-22 Shinji KONO uniq-univeralMapping from Adjunction
2013-07-22 Shinji KONO f replacement
2013-07-22 Shinji KONO uniqness
2013-07-22 Shinji KONO Functor Identity
2013-07-22 Shinji KONO isFunctor
2013-07-22 Shinji KONO Adjunction to Universal Mapping end
2013-07-22 Shinji KONO Reasoning
2013-07-22 Shinji KONO reasoning
2013-07-22 Shinji KONO universalMapping
2013-07-22 Shinji KONO isUniversalMapping
2013-07-22 Shinji KONO f∗ = ε(b)F(f),
2013-07-22 Shinji KONO trying...
2013-07-22 Shinji KONO add Adj to Universal Mapping
2013-07-22 Shinji KONO Adjoint
2013-07-22 Shinji KONO add universal mapping
2013-07-13 Shinji KONO fix
2013-07-13 Shinji KONO notation
2013-07-12 Shinji KONO fix
2013-07-12 Shinji KONO fix
2013-07-12 Shinji KONO join association finish
2013-07-12 Shinji KONO on going
2013-07-12 Shinji KONO on going
2013-07-12 Shinji KONO join assoc on going...
2013-07-12 Shinji KONO add some law
2013-07-12 Shinji KONO unity law 1
2013-07-12 Shinji KONO clean up list-nat
2013-07-12 Shinji KONO nat
2013-07-12 Shinji KONO reasoning worked.
2013-07-11 Shinji KONO not working yet
2013-07-09 Shinji KONO sss
2013-07-09 Shinji KONO list nat
2013-07-08 Shinji KONO not yet worked
2013-07-08 Shinji KONO Reasoning on going...
2013-07-07 Shinji KONO Reasoning complete!
2013-07-07 Shinji KONO reasoning test
2013-07-07 Shinji KONO reasoning
2013-07-07 Shinji KONO reasoning
2013-07-07 Shinji KONO refl and trans
2013-07-07 Shinji KONO Reasoning
2013-07-06 Shinji KONO add accessor
2013-07-06 Shinji KONO Kleisli Proposition