Joachim's web pages
Local fibered right adjoints are polynomial
By Anders Kock and Joachim Kock
Math. Struct. Comp. Sci.
23 (2013), 131-141.
For any locally cartesian closed category E,
we prove that a local fibered right adjoint between
slices of E is given by a polynomial. The slices in question are
taken in a well known fibered sense.
Last updated: 2012-12-19 by