BeDict Logo

sketch

/skษ›tสƒ/
Visual illustration of sketch: A lookout; vigilant watch for something.
noun

A lookout; vigilant watch for something.

Visual illustration of sketch: 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).
noun

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