krasimir d9d00e172a fix the definition of functor composition in category theory

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

..

Adjoints.gf

some comments in the code for category theory

2010-06-01 06:56:34 +00:00

Categories.gf

some comments in the code for category theory

2010-06-01 06:56:34 +00:00

CategoryTheory.gf

…

Equalizer.gf

El -> Obj in category theory

2010-06-01 06:12:30 +00:00

Functor.gf

fix the definition of functor composition in category theory

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

InitialAndTerminal.gf

El -> Obj in category theory

2010-06-01 06:12:30 +00:00

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