Polynomials in categories with pullbacks
classification
🧮 math.CT
keywords
polynomialstheorycategoriespolynomialpullbacksadaptedanaloguebagdomain
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.