Members/kono/Proof/category: revision graph

graph

less more | rev 120: (0) +120 +1000 tip

EM Resolution complete
Thu, 01 Aug 2013 16:46:24 +0900, by Shinji KONO
nat-μ
Thu, 01 Aug 2013 15:01:31 +0900, by Shinji KONO
ε^T and μ^t
Thu, 01 Aug 2013 10:30:54 +0900, by Shinji KONO
T ≃ (U^T ○ F^T)
Thu, 01 Aug 2013 09:46:56 +0900, by Shinji KONO
F^T and U^T constructed
Thu, 01 Aug 2013 09:24:53 +0900, by Shinji KONO
U^T and F^T problem written
Thu, 01 Aug 2013 09:04:45 +0900, by Shinji KONO
EM Category constructed
Thu, 01 Aug 2013 02:50:28 +0900, by Shinji KONO
field version
Thu, 01 Aug 2013 01:45:17 +0900, by Shinji KONO
constructed but some yellow remains
Wed, 31 Jul 2013 23:53:36 +0900, by Shinji KONO
Category._o_ /= Category.Category.Id
Wed, 31 Jul 2013 21:59:02 +0900, by Shinji KONO
resp and assoc
Wed, 31 Jul 2013 21:34:44 +0900, by Shinji KONO
idL, idR
Wed, 31 Jul 2013 21:31:23 +0900, by Shinji KONO
on going...
Wed, 31 Jul 2013 21:02:32 +0900, by Shinji KONO
no yellow. ready to define category
Wed, 31 Jul 2013 20:07:09 +0900, by Shinji KONO
yellow...
Wed, 31 Jul 2013 18:34:45 +0900, by Shinji KONO
on going...
Wed, 31 Jul 2013 17:34:17 +0900, by Shinji KONO
problem written
Wed, 31 Jul 2013 16:33:59 +0900, by Shinji KONO
on oging
Wed, 31 Jul 2013 15:42:38 +0900, by Shinji KONO
on goning
Wed, 31 Jul 2013 15:26:25 +0900, by Shinji KONO
on going ...
Wed, 31 Jul 2013 15:17:15 +0900, by Shinji KONO
Eilenberg-Moore Category start
Tue, 30 Jul 2013 17:58:20 +0900, by Shinji KONO
uniquness of comparison functor
Mon, 29 Jul 2013 18:27:24 +0900, by Shinji KONO
generated version of comparison functor
Mon, 29 Jul 2013 16:49:11 +0900, by Shinji KONO
seprate comparison functor
Mon, 29 Jul 2013 15:54:58 +0900, by Shinji KONO
fix
Mon, 29 Jul 2013 14:47:57 +0900, by Shinji KONO
nat-μ
Mon, 29 Jul 2013 14:08:45 +0900, by Shinji KONO
Comparison Functor constructed
Mon, 29 Jul 2013 12:41:40 +0900, by Shinji KONO
distr continue..
Sun, 28 Jul 2013 21:24:17 +0900, by Shinji KONO
K_T identity
Sun, 28 Jul 2013 20:18:32 +0900, by Shinji KONO
strange but worked.
Sun, 28 Jul 2013 19:49:00 +0900, by Shinji KONO
on going
Sun, 28 Jul 2013 19:08:26 +0900, by Shinji KONO
KtoT
Sun, 28 Jul 2013 18:33:24 +0900, by Shinji KONO
on going
Sun, 28 Jul 2013 09:10:44 +0900, by Shinji KONO
MEsolution
Sun, 28 Jul 2013 08:04:01 +0900, by Shinji KONO
resosultion
Sat, 27 Jul 2013 21:19:58 +0900, by Shinji KONO
Resoution?
Sat, 27 Jul 2013 17:51:39 +0900, by Shinji KONO
record Resolution
Sat, 27 Jul 2013 17:32:32 +0900, by Shinji KONO
Comparison Functor
Sat, 27 Jul 2013 15:07:20 +0900, by Shinji KONO
fix
Sat, 27 Jul 2013 14:34:21 +0900, by Shinji KONO
Resolution Adjoint proved.
Sat, 27 Jul 2013 13:03:02 +0900, by Shinji KONO
Adjoint of U_T F_T
Sat, 27 Jul 2013 11:52:10 +0900, by Shinji KONO
on going
Sat, 27 Jul 2013 05:20:33 +0900, by Shinji KONO
on going
Sat, 27 Jul 2013 03:52:24 +0900, by Shinji KONO
Resolution U_T, F_T
Fri, 26 Jul 2013 22:07:21 +0900, by Shinji KONO
U done
Fri, 26 Jul 2013 20:54:41 +0900, by Shinji KONO
Comparison Functor
Fri, 26 Jul 2013 19:52:19 +0900, by Shinji KONO
Kleisli Category constructed
Fri, 26 Jul 2013 16:18:32 +0900, by Shinji KONO
on going
Fri, 26 Jul 2013 15:52:24 +0900, by Shinji KONO
stack overflow solved by moving implicit parameters to module parameters
Fri, 26 Jul 2013 12:38:54 +0900, by Shinji KONO
Kleisli category problem written
Fri, 26 Jul 2013 11:42:57 +0900, by Shinji KONO
Kleisli Category ...
Fri, 26 Jul 2013 06:39:24 +0900, by Shinji KONO
generalized distr and assco1
Thu, 25 Jul 2013 14:46:02 +0900, by Shinji KONO
join implicit parameter
Thu, 25 Jul 2013 13:56:16 +0900, by Shinji KONO
cong-hom ?
Thu, 25 Jul 2013 13:08:49 +0900, by Shinji KONO
distr
Thu, 25 Jul 2013 12:58:21 +0900, by Shinji KONO
add pdf
Thu, 25 Jul 2013 12:13:10 +0900, by Shinji KONO
hd add pdf
Thu, 25 Jul 2013 12:09:45 +0900, by Shinji KONO
cleanup
Thu, 25 Jul 2013 12:09:01 +0900, by Shinji KONO
assoc proved.
Thu, 25 Jul 2013 11:43:51 +0900, by Shinji KONO
unity done
Wed, 24 Jul 2013 23:23:56 +0900, by Shinji KONO
unity1
Wed, 24 Jul 2013 23:16:21 +0900, by Shinji KONO
UεF
Wed, 24 Jul 2013 22:45:57 +0900, by Shinji KONO
on going
Wed, 24 Jul 2013 22:32:53 +0900, by Shinji KONO
nat and functor comp
Wed, 24 Jul 2013 21:19:27 +0900, by Shinji KONO
add unitility
Wed, 24 Jul 2013 20:47:28 +0900, by Shinji KONO
Adjoint proved. All done.
Tue, 23 Jul 2013 17:34:46 +0900, by Shinji KONO
cleanup
Tue, 23 Jul 2013 16:49:12 +0900, by Shinji KONO
start adjunction
Tue, 23 Jul 2013 16:36:31 +0900, by Shinji KONO
nat-ε proved
Tue, 23 Jul 2013 16:18:21 +0900, by Shinji KONO
on going...
Tue, 23 Jul 2013 16:01:25 +0900, by Shinji KONO
on goging
Tue, 23 Jul 2013 10:27:24 +0900, by Shinji KONO
naturality of ε
Tue, 23 Jul 2013 10:13:09 +0900, by Shinji KONO
naturarity of η
Tue, 23 Jul 2013 04:10:42 +0900, by Shinji KONO
F is Functor proved.
Tue, 23 Jul 2013 03:39:56 +0900, by Shinji KONO
Functor cong done
Tue, 23 Jul 2013 02:57:11 +0900, by Shinji KONO
uniq-univeralMapping from Adjunction
Tue, 23 Jul 2013 01:45:56 +0900, by Shinji KONO
f replacement
Tue, 23 Jul 2013 01:27:43 +0900, by Shinji KONO
uniqness
Tue, 23 Jul 2013 00:29:17 +0900, by Shinji KONO
Functor Identity
Mon, 22 Jul 2013 21:29:26 +0900, by Shinji KONO
isFunctor
Mon, 22 Jul 2013 19:07:31 +0900, by Shinji KONO
Adjunction to Universal Mapping end
Mon, 22 Jul 2013 18:13:57 +0900, by Shinji KONO
Reasoning
Mon, 22 Jul 2013 17:51:08 +0900, by Shinji KONO
reasoning
Mon, 22 Jul 2013 17:17:42 +0900, by Shinji KONO
universalMapping
Mon, 22 Jul 2013 17:11:05 +0900, by Shinji KONO
isUniversalMapping
Mon, 22 Jul 2013 16:47:45 +0900, by Shinji KONO
f∗ = ε(b)F(f),
Mon, 22 Jul 2013 16:04:23 +0900, by Shinji KONO
trying...
Mon, 22 Jul 2013 15:16:56 +0900, by Shinji KONO
add Adj to Universal Mapping
Mon, 22 Jul 2013 14:54:52 +0900, by Shinji KONO
Adjoint
Mon, 22 Jul 2013 14:45:58 +0900, by Shinji KONO
add universal mapping
Mon, 22 Jul 2013 14:30:27 +0900, by Shinji KONO
fix
Sat, 13 Jul 2013 18:12:57 +0900, by Shinji KONO
notation
Sat, 13 Jul 2013 11:46:58 +0900, by Shinji KONO
fix
Sat, 13 Jul 2013 03:05:43 +0900, by Shinji KONO
fix
Fri, 12 Jul 2013 22:17:23 +0900, by Shinji KONO
join association finish
Fri, 12 Jul 2013 20:45:54 +0900, by Shinji KONO
on going
Fri, 12 Jul 2013 20:32:19 +0900, by Shinji KONO
on going
Fri, 12 Jul 2013 18:58:16 +0900, by Shinji KONO
join assoc on going...
Fri, 12 Jul 2013 17:56:00 +0900, by Shinji KONO
add some law
Fri, 12 Jul 2013 15:15:50 +0900, by Shinji KONO
unity law 1
Fri, 12 Jul 2013 13:39:33 +0900, by Shinji KONO
clean up list-nat
Fri, 12 Jul 2013 12:28:14 +0900, by Shinji KONO
nat
Fri, 12 Jul 2013 12:24:29 +0900, by Shinji KONO
reasoning worked.
Fri, 12 Jul 2013 11:39:06 +0900, by Shinji KONO
not working yet
Thu, 11 Jul 2013 19:37:35 +0900, by Shinji KONO
sss
Tue, 09 Jul 2013 10:42:36 +0900, by Shinji KONO
list nat
Tue, 09 Jul 2013 10:36:20 +0900, by Shinji KONO
not yet worked
Mon, 08 Jul 2013 17:55:04 +0900, by Shinji KONO
Reasoning on going...
Mon, 08 Jul 2013 11:00:05 +0900, by Shinji KONO
Reasoning complete!
Sun, 07 Jul 2013 20:20:51 +0900, by Shinji KONO
reasoning test
Sun, 07 Jul 2013 19:20:37 +0900, by Shinji KONO
reasoning
Sun, 07 Jul 2013 18:45:48 +0900, by Shinji KONO
reasoning
Sun, 07 Jul 2013 18:16:46 +0900, by Shinji KONO
refl and trans
Sun, 07 Jul 2013 16:38:48 +0900, by Shinji KONO
Reasoning
Sun, 07 Jul 2013 13:14:54 +0900, by Shinji KONO
add accessor
Sat, 06 Jul 2013 16:28:26 +0900, by Shinji KONO
Kleisli Proposition
Sat, 06 Jul 2013 14:56:23 +0900, by Shinji KONO
fix
Sat, 06 Jul 2013 08:50:32 +0900, by Shinji KONO
Kleisli
Sat, 06 Jul 2013 07:27:57 +0900, by Shinji KONO
unity1 unity2
Sat, 06 Jul 2013 03:30:31 +0900, by Shinji KONO
Monad
Sat, 06 Jul 2013 02:15:24 +0900, by Shinji KONO

less more | rev 120: (0) +120 +1000 tip

Mercurial > hg > Members > kono > Proof > category

graph