2000 character limit reached
Local fibered right adjoints are polynomial
Published 23 May 2010 in math.CT | (1005.4236v2)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.