7 Commits

Author	SHA1	Message	Date
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