arXiv2111.03850MaRDI QIDQ6382372
Davide Trotta, Maria Emilia Maietti
Publication date: 6 November 2021
Mathematics Subject Classification ID
Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10)