krasimir b2a0adf969 added equality proof in the constructor for natural trasformations

2010-06-14 11:21:52 +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

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