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).