Polynomials in categories with pullbacks
Polynomials in categories with pullbacks
复制标题
具有回调类别的多项式
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Mark Weber
中科院分区：
文献类型：
--
作者：
Mark Weber
Gambino和Kock发展的关于局部笛卡尔闭范畴E上的多项式的理论，被推广到E只有拉回的情形。给出了多项式理论和多项式函子理论的2-范畴类比，并探讨了它与Street的2-范畴内的纤颤理论的关系。约翰斯通的“袋域数据”概念适用于目前的框架，以便更容易地完整地展示多项式一元组的例子。
The theory developed by Gambino and Kock, of polynomials over a locally cartesian closed category E, is generalised for E just having pullbacks. The 2-categorical analogue of the theory of polynomials and polynomial functors is given, and its relationship with Street's theory of fibrations within 2-categories is explored. Johnstone's notion of "bagdomain data" is adapted to the present framework to make it easier to completely exhibit examples of polynomial monads.