Generalized existential completions and their regular and exact completions

arXiv2111.03850MaRDI QIDQ6382372

Davide Trotta, Maria Emilia Maietti

Publication date: 6 November 2021

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

18C10: Theories (e.g., algebraic theories), structure, and semantics