krasimir f7a740d1bd 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

fix typo in category theory

2010-06-07 12:56:05 +00:00

NaturalTransform.gf

added equality proof in the constructor for natural trasformations

2010-06-14 11:21:52 +00:00