The points of canonical extensions of doctrines

Sam van Gool, Joshua L. Wrigley

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…