krasimir fd42ab4aec cleanup the code for category theory

2010-06-01 06:03:19 +00:00

..

Adjoints.gf

incomplete code for adjoints and monads

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

Categories.gf

cleanup the code for category theory

2010-06-01 06:03:19 +00:00

CategoryTheory.gf

incomplete code for adjoints and monads

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

Equalizer.gf

two theorems without proofs: every equalizer is monomorphism; every coequalizer is epimorphisms

2010-03-15 10:41:39 +00:00

Functor.gf

cleanup the code for category theory

2010-06-01 06:03:19 +00:00

InitialAndTerminal.gf

cleanup the code for category theory

2010-06-01 06:03:19 +00:00

Monad.gf

incomplete code for adjoints and monads

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

Morphisms.gf

cleanup the code for category theory

2010-06-01 06:03:19 +00:00

NaturalTransform.gf

added natural transformations

2010-03-15 14:52:47 +00:00