Abstract
For any locally cartesian closed category ℰ, we prove that a local fibred right adjoint between slices of ℰ is given by a polynomial. The slices in question are taken in a well-known fibred sense.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Reference14 articles.
1. On right adjoints to exponential functors
2. Streicher T. (1999) Fibred categories à la Jean Bénabou. Notes, available from http://www.mathematik.tu-darmstadt.de/~streicher/.
3. Algebraic Approaches to Program Semantics
4. Aspects of fractional exponent functors;Kock;Theory and Applications of Categories,1999
5. Strong functors and monoidal monads
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Two-sided cartesian fibrations of synthetic $$(\infty ,1)$$-categories;Journal of Homotopy and Related Structures;2024-06-21
2. The universal exponentiable arrow;Journal of Pure and Applied Algebra;2022-07
3. ∞-Operads as Analytic Monads;International Mathematics Research Notices;2021-04-26