sketches
Meanings
Bosquejos, esbozos
Examples :
Examples :
Una especificación formal de una estructura matemática o un tipo de datos descrita en términos de un grafo y diagramas (y conos (y coconos)) sobre él. Se puede implementar mediante "modelos", que son funtores que son homomorfismos de grafos desde la especificación formal a categorías tales que los diagramas se vuelven conmutativos, los conos se vuelven limitantes (es decir, productos), los coconos se vuelven colimitantes (es decir, sumas).
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).