Library CT.Instance.Category

Require Export CT.Instance.Category.ArrowCategory.
Require Export CT.Instance.Category.Cat.
Require Export CT.Instance.Category.Equivalence.
Require Export CT.Instance.Category.FunctorCategory.
Require Export CT.Instance.Category.GroupCategory.
Require Export CT.Instance.Category.Monoidal.
Require Export CT.Instance.Category.MonoidCategory.
Require Export CT.Instance.Category.Opposite.
Require Export CT.Instance.Category.ProductCategory.