The points of canonical extensions of doctrines
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.28736
curl -X POST /api/v1/records/arxiv/2606.28736/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.28736/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'