GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
@Chapter CAP Categories @Chapter Category of Categories @Chapter Morphisms @Chapter Objects @Chapter Category 2-Cells @Chapter Universal Objects @Chapter Tensor Product and Internal Hom @Chapter Managing Derived Methods @Chapter Add Functions