BeDict Logo

sketches

/ˈskɛtʃɪz/
Visuelle Illustration von sketches: 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, die Funktoren sind, 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).
noun

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, die Funktoren sind, 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).

Der Informatiker verwendete Skizzen, um die Datenstruktur der neuen Social-Media-Plattform formal zu definieren und sicherzustellen, dass ihre Komponenten korrekt interagierten.