Generalised ultracategories and conceptual completeness of geometric logic

Ali Hamad

We introduce the theory of generalised ultracategories, these are relational extensions to ultracategories as defined by Lurie. An essential example of generalised ultracategories…