Local fibred right adjoints are polynomial

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

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.

OriginalsprogEngelsk
TidsskriftMathematical Structures in Computer Science
Vol/bind23
Udgave nummer1
Sider (fra-til)131-141
Antal sider11
ISSN0960-1295
DOI
StatusUdgivet - feb. 2013
Eksternt udgivetJa

ID: 331501279