Mercurial > hg > Papers > 2015 > atton-thesis
log fig/morphism_composition_law.xbb @ 18:086fc8bb6ea9
age | author | description |
---|---|---|
Sun, 08 Feb 2015 21:19:55 +0900 | Yasutaka Higa | Add description for category/functor in program |
Sun, 08 Feb 2015 19:57:44 +0900 | Yasutaka Higa | Add description Monad |
Sun, 08 Feb 2015 15:43:20 +0900 | Yasutaka Higa | Add description natural transformation |
Sun, 08 Feb 2015 13:29:32 +0900 | Yasutaka Higa | Add Functor |
Sun, 08 Feb 2015 12:20:17 +0900 | Yasutaka Higa | Add forgot figure files |