/examples/category-theory/

• ../
• Categories.gf
• CategoryTheory.gf
• InitialAndTerminal.gf
• Morphisms.gf