log

age author description
2017-11-20 Shinji KONO Monoidal category and applicative functor
2017-11-13 Shinji KONO fix
2017-11-13 Shinji KONO Added tag current for changeset 984518c56e96
2017-11-13 Shinji KONO fix
2017-11-12 Shinji KONO fix comment
2017-11-12 Shinji KONO change argument of Limit and K
2017-11-11 Shinji KONO fix universal mapping done.
2017-11-11 Shinji KONO fix again
2017-11-11 Shinji KONO fix monad/adjunction definition
2017-11-08 Shinji KONO Added tag current for changeset 14ad6ec8a662
2017-11-08 Shinji KONO fix comment
2017-11-07 Shinji KONO ...
2017-11-07 Shinji KONO ...
2017-11-07 Shinji KONO clean up
2017-11-07 Shinji KONO clean up of pullback
2017-11-07 Shinji KONO fix Product and pullback
2017-11-06 Shinji KONO fh=gh done. limit from product and equalizer done
2017-11-05 Shinji KONO ...
2017-11-05 Shinji KONO extensionality remains
2017-11-04 Shinji KONO Product of Arrow is necessary ...
2017-11-04 Shinji KONO two product as in CWM
2017-11-03 Shinji KONO ...
2017-11-03 Shinji KONO ...
2017-11-03 Shinji KONO fix limit from product and equalizer (not yet finished )
2017-11-02 Shinji KONO fix completeness
2017-10-30 Shinji KONO fix
2017-10-30 Shinji KONO remove comp from limit-to
2017-10-30 Shinji KONO fix completeness
2017-10-30 Shinji KONO SetCompleteness done!
2017-10-27 Shinji KONO ...