Local fibred right adjoints are polynomial

Research output: Contribution to journal › Journal article › Research › peer-review

Standard

Local fibred right adjoints are polynomial. / Kock, Anders; Kock, Joachim.

In: Mathematical Structures in Computer Science, Vol. 23, No. 1, 02.2013, p. 131-141.

Research output: Contribution to journal › Journal article › Research › peer-review

Harvard

Kock, A & Kock, J 2013, 'Local fibred right adjoints are polynomial', Mathematical Structures in Computer Science, vol. 23, no. 1, pp. 131-141. https://doi.org/10.1017/S0960129512000217

APA

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

Vancouver

Kock A, Kock J. Local fibred right adjoints are polynomial. Mathematical Structures in Computer Science. 2013 Feb;23(1):131-141. https://doi.org/10.1017/S0960129512000217

Author

Kock, Anders ; Kock, Joachim. / Local fibred right adjoints are polynomial. In: Mathematical Structures in Computer Science. 2013 ; Vol. 23, No. 1. pp. 131-141.

Bibtex

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

}

RIS

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 -

ID: 331501279