Library CT.Instance.Functor

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.