幺半 Kleisli 范畴对象上附加结构的方法作为信息变换器理论的背景
数学物理
2007-05-23 v1 多智能体系统
范畴论
math.MP
摘要
范畴论提供了一种以统一方式编码数学结构的紧凑方法，从而能够使用关于等价和泛构造的一般定理。本文发展了幺半 Kleisli 范畴对象上的附加结构方法。建议将任意一致类的信息变换器(ITs)视为满足某组公理的态射族。这使得以统一方式研究不同类型的 ITs 成为可能，例如统计的、多值的和模糊的 ITs。所提公理将 ITs 的范畴定义为包含具有有限积的子范畴(确定性 ITs)的幺半范畴。此外，还表明许多 ITs 的范畴可构造为带附加结构的 Kleisli 范畴。
引用
@article{arxiv.math-ph/0211067,
title = {Method of Additional Structures on the Objects of a Monoidal Kleisli Category as a Background for Information Transformers Theory},
author = {P. V. Golubtsov and S. S. Moskaliuk},
journal= {arXiv preprint arXiv:math-ph/0211067},
year = {2007}
}
备注
59 pages, Latex, no figures