Local fibred right adjoints are polynomial

DOI10.1017/S0960129512000217zbMath1278.18016arXiv1005.4236OpenAlexW2104133210MaRDI QIDQ4911305

Joachim Kock, Anders 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

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

Related Items

Data Types with Symmetries and Polynomial Functors over Groupoids ⋮ Unnamed Item ⋮ The universal exponentiable arrow

Cites Work

• Unnamed Item
• Unnamed Item
• Cartesian monads on toposes
• On right adjoints to exponential functors
• Wellfounded trees in categories
• Strong functors and monoidal monads
• Connected limits, familial representability and Artin glueing