Local fibred right adjoints are polynomial
Research output: Contribution to journal › Journal article › Research › peer-review
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 number | 1 |
Pages (from-to) | 131-141 |
Number of pages | 11 |
ISSN | 0960-1295 |
DOIs | |
Publication status | Published - Feb 2013 |
Externally published | Yes |
- WELLFOUNDED TREES, FUNCTORS, CATEGORIES, MONADS
Research areas
ID: 331501279