丹尼尔·艾哈曼;塔尔莫乌斯塔卢 将容器定向为类别。 （英语） Zbl 1477.68169号 Atkey，Robert（ed.）等人，《第六届数学结构函数编程研讨会论文集》，2016年MSFP，荷兰埃因霍温，2016年4月8日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）20789-98（2016）。 摘要：定向容器明确了那些容器的附加结构，这些容器的集合函子解释带有辅音结构。有向容器的数据和规律类似于幺半群的数据和法则，而有向容器中的数据和定律在相反的方向上同构于幺半态射的数据和定理。经过一些重组，有向容器与小类别是一样的，但有向容器形态是类opcleavage的。我们从这个观察中得出了一些结论，特别是考虑到基本的结构和概念，如相反的范畴和广群。关于整个系列，请参见[Zbl 1446.68005号]. 引用于三文件 MSC公司： 68问题65 抽象数据类型；代数规范 18立方厘米 单子（=标准结构，三元组或三元组），单子代数，单子的同调函子和派生函子 68甲18 函数编程和lambda演算 68问题55 计算理论中的语义学 PDF格式BibTeX公司 XML格式引用 \textit{D.Ahman}和\textit{T.Uustalu}，电子。程序。西奥。计算。科学。（EPTCS）207，89--98（2016；Zbl 1477.68169） 全文： arXiv公司 链接 参考文献： [1] M.Abbott、T.Altenkirch和N.Ghani（2005）：容器：构造严格正型。西奥。计算。科学。342（1），第3-27页。doi:10.1016/j.tcs.2005.06.002·Zbl 1077.68015号 ·doi:10.1016/j.tcs.2005.06002 [2] D.Ahman、J.Chapman和T.Uustalu（2014年）：集装箱什么时候才是comonad？日志。方法。计算中。科学。第10（3）条，第14条。doi:10.2168/lmcs-10（3:14）2014年·兹比尔1338.68172 ·doi:10.2168/lmcs-10（3:14）2014年 [3] D.Ahman&T.Uustalu（2013）：定向容器的分配规律。信息学进展10，第3-18页doi:10.2201/niipi.2013.10.2·doi:10.2201/niipi.2013.10.2 [4] T.Altenkirch、J.Chapman和T.Uustalu（2015）：单子不一定是内函子。日志。方法。计算中。科学。11（1），第3条。doi:10.2168/lmcs-11（1:3）2015年·兹比尔1448.18007 ·doi:10.2168/lmcs-11（1:3）2015年 [5] T.Altenkirch、N.Ghani、P.Hancock、C.McBride和P.Morris（2015）：索引容器。功能学杂志。程序。25，第e5条。doi:10.1017/s095679681500009x·Zbl 1420.68032号 ·doi:10.1017/s095679681500009x [6] N.Gambino和M.Hyland（2004）：建立良好的树和相关多项式函子。S.Berardi，M.Coppo&F.Damiani主编：《国际伯克希尔大学修订论文选集》。关于证明和程序的类型，Types 2003，Lect。计算中的注释。科学。2075年，施普林格，第210-225页。数字对象标识代码：10.1007/978-3-540-24849-114·Zbl 1100.03055号 ·doi:10.1007/978-3-540-24849-114 [7] F.Ulmer（1968）：稠密和相对伴随函子的性质。阿尔及利亚J。8（1），第77-95页。doi:10.1016/0021-8693（68）90036-7·Zbl 0182.34403号 ·doi:10.1016/0021-8693（68）90036-7 [8] M.Weber（2015）：具有回调的类别多项式。西奥。和应用程序。Categ公司。30（16），第533-598页。可在http://www.tac.mta.ca/tac/volumes/30/16/30-16abs.html ·Zbl 1330.18002号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。