{"id":"arxiv/2606.28736","url":"https://arxiv.org/abs/2606.28736","tags":["math.CT"],"score":0,"title":"The points of canonical extensions of doctrines","domain":"math.CT","source":"arxiv","authors":["Sam van Gool","Joshua L. Wrigley"],"reviews":0,"subject":"math.CT","summary":"We analyse the space of points of the canonical extension of a coherent doctrine. We first give a full characterisation of doctrine morphisms that are extensible, and relate it to the existing notion of p-model of a coherent category. Through this characterisation, the extensible morphisms are shown to be exactly those which are ω-saturated in the sense of coherent first-order logic. Next, we answer the question: when does a presheaf of models fully describe the canonical extension? We prove a characterisation theorem via two conditions, which are again natural from the perspective of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-27","reactions":{}}