Assertion: sketch | /r/HasProperty | a category d
Facets:
value: in the mathematical theory of categories
type: OTHER
value: with a set of cones
type: OTHER
Source sentences:
text: In the mathematical theory of categories, a sketch is a category D, together with a set of cones intended to be limits and a set of cocones intended to be colimits.