Library HoTT.Categories.Cat

Cat, precategories of precategories

Definitions

Require Cat.Core.

Morphisms in cat

Require Cat.Morphisms.

Include Cat.Core.
Include Cat.Morphisms.