Assertion: sketch | /r/CapableOf | form category-theoretic analog
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.