Local fibered right adjoints are polynomial
Category Theory
2014-07-15 v2
Abstract
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.
Cite
@article{arxiv.1005.4236,
title = {Local fibered right adjoints are polynomial},
author = {Anders Kock and Joachim Kock},
journal= {arXiv preprint arXiv:1005.4236},
year = {2014}
}
Comments
15 pages, LaTeX; final version (v2), to appear in Math. Struct. Comp. Sci