19 Commits

Author	SHA1	Message	Date
krasimir	f7a740d1bd	fix the definition of functor composition in category theory	2011-01-08 20:43:45 +00:00
krasimir	b2a0adf969	added equality proof in the constructor for natural trasformations	2010-06-14 11:21:52 +00:00
krasimir	7d71704b3c	fix typo in category theory	2010-06-07 12:56:05 +00:00
krasimir	d73ed8ba2e	some comments in the code for category theory	2010-06-01 06:56:34 +00:00
krasimir	5e0d04d0f5	El -> Obj in category theory	2010-06-01 06:12:30 +00:00
krasimir	19851031e6	cleanup the code for category theory	2010-06-01 06:03:19 +00:00
krasimir	d91999dec0	incomplete code for adjoints and monads	2010-03-15 17:31:15 +00:00
krasimir	381a7a2f07	identity functor	2010-03-15 16:35:00 +00:00
krasimir	c6f3111e67	added natural transformations	2010-03-15 14:52:47 +00:00
krasimir	aef1a1a5a3	incomplete code for composition of functors	2010-03-15 10:47:00 +00:00
krasimir	9f45bb0df1	refactor Morphisms.gf and InitialAndTerminal.gf	2010-03-15 10:43:20 +00:00
krasimir	d7c68cdf27	two theorems without proofs: every equalizer is monomorphism; every coequalizer is epimorphisms	2010-03-15 10:41:39 +00:00
krasimir	dfbc6ba9a3	added Equalizers in category-theory	2010-03-15 09:57:39 +00:00
krasimir	21ad608e2a	functors	2010-02-22 14:40:28 +00:00
krasimir	bcf4bc7d23	the oposites of two equal arrows are equal arrows	2010-02-22 14:38:13 +00:00
krasimir	45d209baf8	two theorems every iso is mono and every iso is epi	2010-02-20 16:37:23 +00:00
krasimir	3d8b7f9850	some more definitions in category theory	2010-02-20 16:33:40 +00:00
krasimir	61287f3925	more category theory -> morphisms, initial and terminal objects	2010-02-15 10:35:24 +00:00
krasimir	af48998ef6	basic category theory expressed in GF. Note: works only with my development version of GF. It will be pushed in darcs soon	2010-02-14 10:20:08 +00:00