sketch
Meanings
スケッチ, スケッチ作品
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).