{"id":"arxiv/2607.06386","url":"https://arxiv.org/abs/2607.06386","tags":["math.CT","math.LO"],"score":0,"title":"On the Beck--Chevalley condition","domain":"math.CT","source":"arxiv","authors":["Marco Abbadini","Francesca Guffanti"],"reviews":0,"subject":"math.CT","summary":"Boolean hyperdoctrines provide an algebraic semantics for classical first-order logic with equality. In the definition of a Boolean hyperdoctrine, the Beck--Chevalley condition captures the commutativity of substitutions with quantifiers and with equality. Often, a generalization of these conditions is considered, which requires the commutativity of an appropriate square for every pullback square in the base category. A Boolean hyperdoctrine satisfying this condition is called full. Our contribution is twofold. On the negative side, we exhibit a non-full Boolean hyperdoctrine. On the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-07","reactions":{}}