Article contents
Local fibred right adjoints are polynomial
Published online by Cambridge University Press: 03 October 2012
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.
- Type
- Paper
- Information
- Copyright
- Copyright © Cambridge University Press 2012
References
- 3
- Cited by