参数化过程作为范畴构造
计算机科学中的逻辑
2009-08-26 v1 范畴论
摘要
本文在范畴框架下，将符号计算系统 Kenzo 和 EAT 中使用的参数化过程作为一种一般构造进行研究。该参数化过程从给定规约出发，通过将某些操作转化为参数化操作（这些操作依赖于一个称为参数的额外变量）来构建参数化规约。给定参数化规约的一个模型，参数的每个解释（称为参数值）都提供给定规约的一个模型。此外，在某个相关的终对象假设下，参数值与给定规约模型之间的对应关系是双射。本文证明，参数化过程由自由函子提供，随后的参数传递过程由自然变换提供。文中使用了多种范畴概念，主要是伴随函子、推出和弱余极限。
引用
@article{arxiv.0908.3634,
title = {A parameterization process as a categorical construction},
author = {Dominique Duval and César Dominguez},
journal= {arXiv preprint arXiv:0908.3634},
year = {2009}
}