krasimir d73ed8ba2e some comments in the code for category theory

2010-06-01 06:56:34 +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

incomplete code for adjoints and monads

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

Equalizer.gf

El -> Obj in category theory

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

Functor.gf

some comments in the code for category theory

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

InitialAndTerminal.gf

El -> Obj in category theory

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

Monad.gf

incomplete code for adjoints and monads

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

Morphisms.gf

some comments in the code for category theory

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

NaturalTransform.gf

some comments in the code for category theory

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