2017-08-12 |
Shinji KONO |
move InitialObject to cat-utility
|
2017-07-19 |
Shinji KONO |
maybe monad done
|
2017-07-19 |
Shinji KONO |
add maybe-monad
|
2017-07-16 |
Shinji KONO |
fix
|
2017-07-06 |
Shinji KONO |
adjoint functor theorem done
|
2017-07-06 |
Shinji KONO |
on going ...
|
2017-07-06 |
Shinji KONO |
fix
|
2017-07-05 |
Shinji KONO |
universal mapping
|
2017-07-05 |
Shinji KONO |
uniquness
|
2017-07-05 |
Shinji KONO |
solution
|
2017-07-05 |
Shinji KONO |
rewritw solution
|
2017-07-04 |
Shinji KONO |
id of Functor F
|
2017-07-04 |
Shinji KONO |
fix
|
2017-07-04 |
Shinji KONO |
module introdued
|
2017-07-04 |
Shinji KONO |
use module
|
2017-07-03 |
Shinji KONO |
functorF and η
|
2017-07-03 |
Shinji KONO |
add adjunction
|
2017-07-03 |
Shinji KONO |
start adjoint
|
2017-07-03 |
Shinji KONO |
representability theorem done.
|
2017-07-03 |
Shinji KONO |
add more lemma
|
2017-07-02 |
Shinji KONO |
on going ..
|
2017-07-02 |
Shinji KONO |
add revU
|
2017-07-02 |
Shinji KONO |
add more lemma
|
2017-07-01 |
Shinji KONO |
...
|
2017-07-01 |
Shinji KONO |
creating nat
|
2017-06-30 |
Shinji KONO |
if K{*}↓U has initial Obj, U is representable done.
|
2017-06-30 |
Shinji KONO |
on going ...
|
2017-06-30 |
Shinji KONO |
introduce U preserving
|
2017-06-28 |
Shinji KONO |
fix
|
2017-06-27 |
Shinji KONO |
add equalizer
|
2017-06-27 |
Shinji KONO |
add compleness
|
2017-06-26 |
Shinji KONO |
introduce fArrow
|
2017-06-26 |
Shinji KONO |
fix
|
2017-06-26 |
Shinji KONO |
fix
|
2017-06-26 |
Shinji KONO |
remove arrow's yellow
|
2017-06-25 |
Shinji KONO |
fix
|
2017-06-23 |
Shinji KONO |
on going ...
|
2017-06-23 |
Shinji KONO |
initialObject done
|
2017-06-23 |
Shinji KONO |
introduce one element set
|
2017-06-23 |
Shinji KONO |
One
|
2017-06-23 |
Shinji KONO |
fix
|
2017-06-21 |
Shinji KONO |
add desciptive lemma
|
2017-06-20 |
Shinji KONO |
on going ..
|
2017-06-20 |
Shinji KONO |
on going ...
|
2017-06-20 |
Shinji KONO |
fix
|
2017-06-19 |
Shinji KONO |
initital obj uniquness done
|
2017-06-14 |
Shinji KONO |
on going ..
|
2017-06-14 |
Shinji KONO |
initial Object's arrow found
|
2017-06-13 |
Shinji KONO |
Representational Functor preserve limit done
|
2017-06-13 |
Shinji KONO |
t0f=t0 done
|
2017-06-13 |
Shinji KONO |
fix
|
2017-06-12 |
Shinji KONO |
natural transformation in representable functor
|
2017-06-12 |
Shinji KONO |
on going ...
|
2017-06-12 |
Shinji KONO |
on goging
|
2017-06-12 |
Shinji KONO |
freyd2
|
2017-06-08 |
Shinji KONO |
fix
|
2017-06-08 |
Shinji KONO |
fix for new agda
|
2017-06-08 |
Shinji KONO |
another snat-cong approach
|
2017-06-05 |
Shinji KONO |
comm2
|
2017-06-05 |
Shinji KONO |
two field again ...
|
2017-06-05 |
Shinji KONO |
makeEqu/makeProd does not woek
|
2017-06-05 |
Shinji KONO |
prove fe=ge in limit-to
|
2017-06-03 |
Shinji KONO |
Set Completeness unfinished
|
2017-06-02 |
Shinji KONO |
fix
|
2017-06-02 |
Shinji KONO |
try two field again
|
2017-05-24 |
Shinji KONO |
on going ...
|
2017-05-23 |
Shinji KONO |
lemma-equ retry
|
2017-05-23 |
Shinji KONO |
dead end
|
2017-05-22 |
Shinji KONO |
fix
|
2017-05-21 |
Shinji KONO |
fix
|
2017-05-15 |
Shinji KONO |
on going ..
|
2017-05-14 |
Shinji KONO |
slid rewrite
|
2017-05-14 |
Shinji KONO |
on going ...
|
2017-05-14 |
Shinji KONO |
dead end
|
2017-05-12 |
Shinji KONO |
fix
|
2017-05-12 |
Shinji KONO |
on going ...
|
2017-05-11 |
Shinji KONO |
on going ..
|
2017-05-11 |
Shinji KONO |
on oging ...
|
2017-05-11 |
Shinji KONO |
cequ introduced
|
2017-05-03 |
Shinji KONO |
anothter approach
|
2017-05-03 |
Shinji KONO |
close
|
2017-05-01 |
Shinji KONO |
another approach
|
2017-04-29 |
Shinji KONO |
to case for equ lemma
|
2017-04-28 |
Shinji KONO |
...
|
2017-04-28 |
Shinji KONO |
one yelllow
|
2017-04-28 |
Shinji KONO |
dead end
|
2017-04-27 |
Shinji KONO |
sproj approach
|
2017-04-27 |
Shinji KONO |
look like dead end
|
2017-04-25 |
Shinji KONO |
...
|
2017-04-25 |
Shinji KONO |
fix
|
2017-04-24 |
Shinji KONO |
fix
|
2017-04-24 |
Shinji KONO |
fix
|
2017-04-24 |
Shinji KONO |
yelloow remains
|
2017-04-24 |
Shinji KONO |
lemma-equ
|
2017-04-24 |
Shinji KONO |
last one problem in SetCompleteness
|
2017-04-24 |
Shinji KONO |
on going ...
|
2017-04-24 |
Shinji KONO |
on going ...
|
2017-04-24 |
Shinji KONO |
on going ...
|
2017-04-24 |
Shinji KONO |
on ging ...
|
2017-04-23 |
Shinji KONO |
try id equalizer
|
2017-04-10 |
Shinji KONO |
dead end again ...
|
2017-04-10 |
Shinji KONO |
on going ...
|
2017-04-10 |
Shinji KONO |
on going ...
|
2017-04-09 |
Shinji KONO |
dead end
|
2017-04-09 |
Shinji KONO |
on going ...
|
2017-04-09 |
Shinji KONO |
close
|
2017-04-09 |
Shinji KONO |
give up this approach
|
2017-04-09 |
Shinji KONO |
on going ...
|
2017-04-09 |
Shinji KONO |
equ version on going ...
|
2017-04-08 |
Shinji KONO |
on going ...
|
2017-04-08 |
Shinji KONO |
equalizer approach
|
2017-04-05 |
Shinji KONO |
fix ...
|
2017-04-05 |
Shinji KONO |
close this
|
2017-04-05 |
Shinji KONO |
snmeqeqt
|
2017-04-05 |
Shinji KONO |
fix
|
2017-04-04 |
Shinji KONO |
on going ...
|
2017-04-04 |
Shinji KONO |
on going
|
2017-04-01 |
Shinji KONO |
fix
|
2017-04-01 |
Shinji KONO |
fix
|
2017-04-01 |
Shinji KONO |
fix
|