gf-core.git/examples/category-theory, branch master Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=master 2013-09-16T07:17:27+00:00 Remove contribs and examples 2013-09-16T07:17:27+00:00 john.j.camilleri john.j.camilleri@chalmers.se 2013-09-16T07:17:27+00:00 urn:sha1:f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb fix the definition of functor composition in category theory 2011-01-08T20:43:45+00:00 krasimir krasimir@chalmers.se 2011-01-08T20:43:45+00:00 urn:sha1:f7a740d1bd0dfa437e986de06716002eab913f8f added equality proof in the constructor for natural trasformations 2010-06-14T11:21:52+00:00 krasimir krasimir@chalmers.se 2010-06-14T11:21:52+00:00 urn:sha1:b2a0adf96984aa50669c25b082f509daabbb5d97 fix typo in category theory 2010-06-07T12:56:05+00:00 krasimir krasimir@chalmers.se 2010-06-07T12:56:05+00:00 urn:sha1:7d71704b3c93dd5009e19512a1a8bdab3b7567a1 some comments in the code for category theory 2010-06-01T06:56:34+00:00 krasimir krasimir@chalmers.se 2010-06-01T06:56:34+00:00 urn:sha1:d73ed8ba2e8483b41740b7f8b612c64b93d53d3b El -> Obj in category theory 2010-06-01T06:12:30+00:00 krasimir krasimir@chalmers.se 2010-06-01T06:12:30+00:00 urn:sha1:5e0d04d0f59e4ace8df23befcbe8263447611e63 cleanup the code for category theory 2010-06-01T06:03:19+00:00 krasimir krasimir@chalmers.se 2010-06-01T06:03:19+00:00 urn:sha1:19851031e69d05e802eeabfe5db55e58583e1ba0 incomplete code for adjoints and monads 2010-03-15T17:31:15+00:00 krasimir krasimir@chalmers.se 2010-03-15T17:31:15+00:00 urn:sha1:d91999dec0bcdbed95fe3977d89f38157389852a identity functor 2010-03-15T16:35:00+00:00 krasimir krasimir@chalmers.se 2010-03-15T16:35:00+00:00 urn:sha1:381a7a2f07f013f02df60ee345527df80c48bd84 added natural transformations 2010-03-15T14:52:47+00:00 krasimir krasimir@chalmers.se 2010-03-15T14:52:47+00:00 urn:sha1:c6f3111e67975d674a4f04cbd3a314a1aa6456fe