sketches
Meanings
Examples :
Une spécification formelle d'une structure mathématique ou d'un type de données décrite en termes de graphe et de diagrammes (et de cônes (et de cocônes)) sur celui-ci. Elle peut être implémentée au moyen de "modèles", qui sont des foncteurs qui sont des homomorphismes de graphes de la spécification formelle vers des catégories telles que les diagrammes deviennent commutatifs, les cônes deviennent limitants (c'est-à-dire des produits), les cocônes deviennent colimitants (c'est-à-dire des sommes).
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).
Examples :
"The computer scientist used sketches to formally define the data structure of the new social media platform, ensuring its components interacted correctly. "
L'informaticien a utilisé des esquisses pour définir formellement la structure de données de la nouvelle plateforme de médias sociaux, garantissant ainsi que ses composants interagissent correctement.
Related Words
homomorphisms noun
/ˌhoʊmoʊˈmɔːrfɪzəmz/ /ˌhɑːmoʊˈmɔːrfɪzəmz/
Un homomorphisme
surveillance noun
/səɹˈveɪ.ləns/
Surveillance, observation
