krasimir 25adc81550 two theorems every iso is mono and every iso is epi

2010-02-20 16:37:23 +00:00

..

Categories.gf

some more definitions in category theory

2010-02-20 16:33:40 +00:00

CategoryTheory.gf

more category theory -> morphisms, initial and terminal objects

2010-02-15 10:35:24 +00:00

InitialAndTerminal.gf

some more definitions in category theory

2010-02-20 16:33:40 +00:00

Morphisms.gf

two theorems every iso is mono and every iso is epi

2010-02-20 16:37:23 +00:00