Abstract
For any locally cartesian closed category E, we prove that a local fibred right adjoint between slices of E is given by a polynomial. The slices in question are taken in a well known fibred sense
Original language | English |
---|---|
Journal | Mathematical Structures in Computer Science |
Volume | 23 |
Issue | 1 |
Pages (from-to) | 131-141 |
Number of pages | 11 |
ISSN | 0960-1295 |
DOIs | |
Publication status | Published - 2013 |