gf-3.1.6: examples/category-theory/CategoryTheory.gf

abstract CategoryTheory 
  = Categories
  , Morphisms
  , InitialAndTerminal
  , Functor
  , NaturalTransform
  , Equalizer
  , Adjoints
  , Monad
** {
}