/examples/category-theory/

• ../
• Categories.gf
• CategoryTheory.gf
• Equalizer.gf
• Functor.gf
• InitialAndTerminal.gf
• Morphisms.gf
• NaturalTransform.gf