(** * Cat, precategories of precategories *)
(** ** Definitions *)
Require Cat.Core.
(** ** Morphisms in cat *)
Require Cat.Morphisms.

Include Cat.Core.
Include Cat.Morphisms.