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