sketches
Meanings
رسومات تخطيطية، مذكرات
Examples :
مخطط، رسم تخطيطي
Examples :
مقالة صحفية فكاهية، رسم كاريكاتوري
Examples :
مواصفة رسمية لهيكل رياضي أو نوع بيانات موصوف من حيث الرسم البياني والمخططات (والأقماع (والأقماع المشتركة)) عليه. يمكن تنفيذه عن طريق "النماذج"، وهي عوامل ربط وهي تماثلات رسم بياني من المواصفة الرسمية إلى الفئات بحيث تصبح المخططات تبادلية، وتصبح الأقماع محدودة (أي المنتجات)، وتصبح الأقماع المشتركة محدودة (أي المجاميع).
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).