A parameterization process: from a functorial point of view - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Foundations of Computer Science Année : 2012

A parameterization process: from a functorial point of view

Résumé

The parameterization process used in the symbolic computation systems Kenzo and EAT is studied here as a general construction in a categorical framework. This parameterization process starts from a given specification and builds a parameterized specification by adding a parameter as a new variable to some operations. Given a model of the parameterized specification, each interpretation of the parameter, called an argument, provides a model of the given specification. Moreover, under some relevant terminality assumption, this correspondence between the arguments and the models of the given specification is a bijection. It is proved in this paper that the parameterization process is provided by a functor and the subsequent parameter passing process by a natural transformation. Various categorical notions are used, mainly adjoint functors, pushouts and lax colimits.
Fichier non déposé

Dates et versions

hal-00828523 , version 1 (31-05-2013)

Identifiants

Citer

Cesar Dominguez, Dominique Duval. A parameterization process: from a functorial point of view. International Journal of Foundations of Computer Science, 2012, 23 (1), pp.225-242. ⟨10.1142/S0129054112500050⟩. ⟨hal-00828523⟩
69 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More