From Categories Require Import Category.Category.

From Categories Require Import Basic_Cons.CCC.

From Categories Require Export Cat.Cat.

From Categories Require Export Cat.Terminal.
From Categories Require Export Cat.Product.
From Categories Require Export Cat.Exponential.

Program Instance Cat_CCC : CCC Cat.


