A parameterization process, functorially - Computer Science > Logic in Computer ScienceReport as inadecuate




A parameterization process, functorially - Computer Science > Logic in Computer Science - Download this document for free, or read online. Document in PDF available to download.

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.



Author: César Dominguez, Dominique Duval LJK

Source: https://arxiv.org/



DOWNLOAD PDF




Related documents