| doi:10.2201/NiiPi.2013.10.2 |
| 定向容器的分布规律 |
| 丹尼尔·阿赫曼1和Tarmo UUSTALU2 |
1爱丁堡大学计算机科学基础实验室
2塔林理工大学控制论研究所 |
（收到日期：2012年6月10日）
（修订日期：2012年11月6日）
（接受日期：2012年12月22日） |
摘要：
容器是广泛的数据类型在位置和形状方面的优雅表示。我们最近引入了定向容器作为一个特例，以说明一个形状中的每个位置都决定另一个形状的常见情况，非正式地说，是由该位置生根的子形状。容器通过一个完全忠实的函子解释为集函子，而有向容器则完全忠实地表示余子。事实上，定向容器正好对应于那些带有共鸣结构的容器。定向容器也可以被视为幺半群的泛化（依赖类型的版本）。
虽然容器的类别（就像集函子的类别）具有复合单体结构，但定向容器（就像共鸣子一样）通常不构成。在本文中，我们发展了两个有向容器之间的分配律的概念，对应于两个共聚体之间的分配律的概念，并阐明了有向容器基于分配律的组合构造。这是对两个幺半群的Zappa-Szép积的推广。 |
关键词：
有向容器、余弦、分配律、幺半群、Zappa-Szép乘积、函数编程中的数学结构、独立类型编程 |
|
|
| PDF格式（1158KB）|工具书类 |
国家信息学研究所是CrossRef的成员。
|
