gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author
2013-09-16	Remove contribs and examples	john.j.camilleri
2011-01-08	fix the definition of functor composition in category theory	krasimir
2010-06-14	added equality proof in the constructor for natural trasformations	krasimir
2010-06-07	fix typo in category theory	krasimir
2010-06-01	some comments in the code for category theory	krasimir
2010-06-01	El -> Obj in category theory	krasimir
2010-06-01	cleanup the code for category theory	krasimir
2010-03-15	incomplete code for adjoints and monads	krasimir
2010-03-15	identity functor	krasimir
2010-03-15	added natural transformations	krasimir
2010-03-15	incomplete code for composition of functors	krasimir
2010-03-15	refactor Morphisms.gf and InitialAndTerminal.gf	krasimir
2010-03-15	two theorems without proofs: every equalizer is monomorphism; every coequaliz...	krasimir
2010-03-15	added Equalizers in category-theory	krasimir
2010-02-22	functors	krasimir
2010-02-22	the oposites of two equal arrows are equal arrows	krasimir
2010-02-20	two theorems every iso is mono and every iso is epi	krasimir
2010-02-20	some more definitions in category theory	krasimir
2010-02-15	more category theory -> morphisms, initial and terminal objects	krasimir
2010-02-14	basic category theory expressed in GF. Note: works only with my development v...	krasimir