Sketches and parametrization

AbstractThis paper deals with problems about conception and design of high-level computer algebra systems. Here we use a categorical approach given by the notion of sketches. Sketches allow to describe computation mechanisms in a syntactic way, well adapted to implementation.A computer algebra system must allow the manipulation of algebraic structures, in particular, the construction of new structures from known ones. In this paper we give a definition, at the sketch level, of parametrization of a structure by another one