arXiv1906.08737MaRDI QIDQ6320795
Olivia Caramello
Publication date: 20 June 2019
Mathematics Subject Classification ID
Categorical logic, topoi (03G30) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10)