Sketches and Parametrization

Abstract This 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.