Library CT.Instance

Require Export CT.Instance.Algebra.Ab.
Require Export CT.Instance.Algebra.Grp.
Require Export CT.Instance.Algebra.Lat.
Require Export CT.Instance.Algebra.Monoid.
Require Export CT.Instance.Algebra.PointedSetCategory.
Require Export CT.Instance.Algebra.Ring.
Require Export CT.Instance.Algebra.Rng.
Require Export CT.Instance.Automata.Mealy.Category.
Require Export CT.Instance.Automata.Moore.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.
Require Export CT.Instance.Coq.BinaryProduct.
Require Export CT.Instance.Coq.Category.
Require Export CT.Instance.Coq.Functor.
Require Export CT.Instance.Coq.Monad.
Require Export CT.Instance.Functor.Bifunctor.
Require Export CT.Instance.Functor.ComposeFunctor.
Require Export CT.Instance.Functor.ConstantFunctor.
Require Export CT.Instance.Functor.ContravariantFunctor.
Require Export CT.Instance.Functor.Endofunctor.
Require Export CT.Instance.Functor.FaithfulFunctor.
Require Export CT.Instance.Functor.FAlgebra.
Require Export CT.Instance.Functor.FullFunctor.
Require Export CT.Instance.Functor.FullyFaithfulFunctor.
Require Export CT.Instance.Functor.HomFunctor.
Require Export CT.Instance.Functor.IdentityFunctor.
Require Export CT.Instance.Functor.OppositeFunctor.
Require Export CT.Instance.Functor.Presheaf.
Require Export CT.Instance.Functor.ProductFunctor.
Require Export CT.Instance.Functor.Profunctor.
Require Export CT.Instance.Isomorphism.
Require Export CT.Instance.NaturalTransformation.Composition.
Require Export CT.Instance.NaturalTransformation.HCNaturalTransformation.
Require Export CT.Instance.NaturalTransformation.IdentityNaturalTransformation.
Require Export CT.Instance.NaturalTransformation.NaturalIsomorphism.
Require Export CT.Instance.NaturalTransformation.VCNaturalTransformation.