A parameterization process, functorially - Computer Science > Logic in Computer ScienceReportar como inadecuado




A parameterization process, functorially - Computer Science > Logic in Computer Science - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: The parameterization process used in the symbolic computation systems Kenzoand EAT is studied here as a general construction in a categorical framework.This parameterization process starts from a given specification and builds aparameterized specification by adding a parameter as a new variable to someoperations. Given a model of the parameterized specification, eachinterpretation of the parameter, called an argument, provides a model of thegiven specification. Moreover, under some relevant terminality assumption, thiscorrespondence between the arguments and the models of the given specificationis a bijection. It is proved in this paper that the parameterization process isprovided by a functor and the subsequent parameter passing process by a naturaltransformation. Various categorical notions are used, mainly adjoint functors,pushouts and lax colimits.



Autor: César Dominguez, Dominique Duval LJK

Fuente: https://arxiv.org/







Documentos relacionados