Extending conceptual completeness via virtual ultracategories

Gabriel Saadia

We introduce the notion of virtual ultracategory. From a topological point of view, this notion can be seen as a categorification of relational $\beta$-algebras. From a categorical poi…