Assertion: sketch | /r/HasProperty | general way
Facets:
Source sentences:
text: Sketches are a general way of specifying structures on the objects of a category, forming a category-theoretic analog to the logical concept of a theory and its models.