### 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.© Cambridge University Press 2012.

Original language | English |
---|---|

Pages (from-to) | 131-141 |

Journal | Mathematical Structures in Computer Science |

Volume | 23 |

Issue number | 1 |

DOIs | |

Publication status | Published - 1 Feb 2013 |

## Fingerprint Dive into the research topics of 'Local fibred right adjoints are polynomial'. Together they form a unique fingerprint.

## Cite this

Kock, A., & Kock, J. (2013). Local fibred right adjoints are polynomial.

*Mathematical Structures in Computer Science*,*23*(1), 131-141. https://doi.org/10.1017/S0960129512000217