Local fibred right adjoints are polynomial

Anders Kock; Joachim Kock

doi:10.1017/S0960129512000217

Local fibred right adjoints are polynomial

Anders Kock^*, Joachim Kock

^*Corresponding author af dette arbejde

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer 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.

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

Adgang til dokumentet

10.1017/S0960129512000217

Citationsformater

@article{0f3d221a3e5a4414a9a586ec175b084e,

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

keywords = "WELLFOUNDED TREES, FUNCTORS, CATEGORIES, MONADS",

author = "Anders Kock and Joachim Kock",

year = "2013",

month = feb,

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/2

Y1 - 2013/2

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.

KW - WELLFOUNDED TREES

KW - FUNCTORS

KW - CATEGORIES

KW - MONADS

U2 - 10.1017/S0960129512000217

DO - 10.1017/S0960129512000217

M3 - Journal article

VL - 23

SP - 131

EP - 141

JO - Mathematical Structures in Computer Science

JF - Mathematical Structures in Computer Science

SN - 0960-1295

IS - 1

ER -