krasimir d9d00e172a fix the definition of functor composition in category theory

2011-01-08 20:43:45 +00:00

..

Adjoints.gf

…

Categories.gf

…

CategoryTheory.gf

…

Equalizer.gf

…

Functor.gf

fix the definition of functor composition in category theory

2011-01-08 20:43:45 +00:00

InitialAndTerminal.gf

…

Monad.gf

…

Morphisms.gf

…

NaturalTransform.gf

…