{"id":"arxiv/2611.01184","url":"https://arxiv.org/abs/2611.01184","tags":["math.CT","cs.PL","math.LO"],"score":0,"title":"Cartesian closedness of lax comma categories","domain":"math.CT","source":"arxiv","authors":["Maria Manuel Clementino","Fernando Lucatelli Nunes"],"reviews":0,"subject":"math.CT","summary":"For a finitely complete category X, we prove that the lax comma category Cat//X is cartesian closed if and only if its free coproduct completion Fam(X) is cartesian closed. The proof uses a change-of-base theorem: postcomposition with a functor induces a left adjoint between lax comma categories precisely when that functor is a left multiadjoint. We describe the exponentials and derive examples from known results on family categories.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-31","reactions":{}}