Sketch (mathematics)
id:
sketch-mathematics-233-10172126
title:
Sketch (mathematics)
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. A model of the sketch in a category C is a functor that takes each specified cone to a limit cone in C and each specified cocone to a colimit cocone in C. Morphisms of models are natural transformations. Sketches are a general way of specifying structures on the objects of a category, forming a category-theoretic analog to the logica
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Sketch_(mathematics)
date created:
date modified:
2023-08-12T23:06:29Z
main entity:
{"identifier":"Q7534724","url":"https://www.wikidata.org/entity/Q7534724"}
image:
fields total:
13
integrity:
13