{"id":"arxiv/2601.18000","url":"https://arxiv.org/abs/2601.18000","tags":["cs.LO","cs.FL","math.CT"],"score":0,"title":"A cartesian closed fibration of higher-order regular languages","domain":"cs.LO","source":"arxiv","authors":["Paul-André Melliès","Vincent Moreau"],"reviews":0,"subject":"cs.LO","summary":"We explain how to construct in two different ways a cartesian closed fibration of higher-order regular languages in the sense of Salvati. In the first construction, we use fibrational techniques to derive the cartesian closed fibration from the various categories of regular languages of $λ$-terms associated to finite sets of ground states. In the second construction, we take advantage of the recent notion of profinite $λ$-calculus to define the cartesian closed fibration by a change-of-base from the fibration of clopen subsets over the category of Stone spaces, using an elegant idea coming…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-01-25","reactions":{}}