krasimir d91999dec0 incomplete code for adjoints and monads

2010-03-15 17:31:15 +00:00

..

Adjoints.gf

…

Categories.gf

…

CategoryTheory.gf

…

Equalizer.gf

…

Functor.gf

…

InitialAndTerminal.gf

…

Monad.gf

…

Morphisms.gf

…

NaturalTransform.gf

…