krasimir 8ac49f854f identity functor

2010-03-15 16:35:00 +00:00

..

Categories.gf

the oposites of two equal arrows are equal arrows

2010-02-22 14:38:13 +00:00

CategoryTheory.gf

added natural transformations

2010-03-15 14:52:47 +00:00

Equalizer.gf

two theorems without proofs: every equalizer is monomorphism; every coequalizer is epimorphisms

2010-03-15 10:41:39 +00:00

Functor.gf

identity functor

2010-03-15 16:35:00 +00:00

InitialAndTerminal.gf

refactor Morphisms.gf and InitialAndTerminal.gf

2010-03-15 10:43:20 +00:00

Morphisms.gf

refactor Morphisms.gf and InitialAndTerminal.gf

2010-03-15 10:43:20 +00:00

NaturalTransform.gf

added natural transformations

2010-03-15 14:52:47 +00:00