Generalised ultracategories and conceptual completeness of geometric logicShare on Bluesky Facebook LinkedIn X (formerly Twitter) Previous Next