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.
Paper version not known (
Free)
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have