log

age author description
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