Full Subcategory: Quiv ⊊ Cat

Quiv is a full subcategory of Cat. When any two categories of Cat are quivers in Quiv, all functors between them are graph maps in Quiv too. Put another way, Quiv has only some of the objects of Cat, but all of the arrows.

In terms of stuff, structure, and properties, quivers are like categories but with extra properties.

full_subcategories: Quiv, Cat

This data as json