Local fibred right adjoints are polynomial

Anders Kock, Joachim Kock

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

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
OriginalsprogEngelsk
TidsskriftMathematical Structures in Computer Science
Vol/bind23
Nummer1
Sider (fra-til)131-141
Antal sider11
ISSN0960-1295
DOI
StatusUdgivet - 2013

Citationsformater