Local fibred right adjoints are polynomial

Anders Kock; Joachim Kock

doi:10.1017/S0960129512000217

Local fibred right adjoints are polynomial

Institut for Matematik

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

3 Citationer (Scopus)

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

Originalsprog	Engelsk
Tidsskrift	Mathematical Structures in Computer Science
Vol/bind	23
Nummer	1
Sider (fra-til)	131-141
Antal sider	11
ISSN	0960-1295
DOI	https://doi.org/10.1017/S0960129512000217
Status	Udgivet - 2013

Adgang til dokumentet

10.1017/S0960129512000217

Citationsformater

@article{7c674cd3f96f4fd989e05c3d5722fe69,

title = "Local fibred right adjoints are polynomial",

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",

author = "Anders Kock and Joachim Kock",

year = "2013",

doi = "10.1017/S0960129512000217",

language = "English",

volume = "23",

pages = "131--141",

journal = "Mathematical Structures in Computer Science",

issn = "0960-1295",

publisher = "Cambridge University Press",

number = "1",

}

TY - JOUR

T1 - Local fibred right adjoints are polynomial

AU - Kock, Anders

AU - Kock, Joachim

PY - 2013

Y1 - 2013

N2 - 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

AB - 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

U2 - 10.1017/S0960129512000217

DO - 10.1017/S0960129512000217

M3 - Journal article

SN - 0960-1295

VL - 23

SP - 131

EP - 141

JO - Mathematical Structures in Computer Science

JF - Mathematical Structures in Computer Science

IS - 1

ER -