sketch
Meanings
Skizze, Entwurf
Examples :
Eine formale Spezifikation einer mathematischen Struktur oder eines Datentyps, die anhand eines Graphen und Diagrammen (und Kegeln (und Kokegeln)) darauf beschrieben wird. Sie kann mittels "Modellen" implementiert werden, bei denen es sich um Funktoren handelt, die Graphenhomomorphismen von der formalen Spezifikation zu Kategorien sind, so dass die Diagramme kommutativ werden, die Kegel zu Limes (d. h. Produkte), die Kokegel zu Kolimes (d. h. Summen).
A formal specification of a mathematical structure or a data type described in terms of a graph and diagrams (and cones (and cocones)) on it. It can be implemented by means of “models”, which are functors which are graph homomorphisms from the formal specification to categories such that the diagrams become commutative, the cones become limiting (i.e., products), the cocones become colimiting (i.e., sums).