Local fibred right adjoints are polynomial

DOI10.1017/S0960129512000217MaRDI QIDQ4911305zbMATH OpenOpenAlexFDO

Authors Anders Kock, Joachim Kock

Publication date 14 March 2013

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1005.4236

zbMATH Keywords

locally Cartesian closed category

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Fibered categories (18D30)

Abstract: For any locally cartesian closed category E, we prove that a local fibered right adjoint between slices of E is given by a polynomial. The slices in question are taken in a well known fibered sense.

Recommendations

• scientific article; zbMATH DE number 6981655
• Polynomials in categories with pullbacks
• scientific article; zbMATH DE number 3857343
• Polynomial functors and polynomial monads
• Publication:4942097

Cites work

• Cartesian monads on toposes
• Connected limits, familial representability and Artin glueing
• scientific article; zbMATH DE number 3967883 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• On right adjoints to exponential functors
• Strong functors and monoidal monads
• Wellfounded trees in categories

Cited in

(4)

• The universal exponentiable arrow
• Data types with symmetries and polynomial functors over groupoids
• Synthetic fibered (,1)-category theory
• Two-sided Cartesian fibrations of synthetic \((\infty, 1)\)-categories

This page was built for publication: Local fibred right adjoints are polynomial

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4911305)