Duality for Clans: an Extension of Gabriel-Ulmer Duality

arXiv2308.11967MaRDI QIDQ6448348FDOQ6448348

Authors: Jonas Frey 

Publication date: 23 August 2023

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Type theory (03B38)

This page was built for publication: Duality for Clans: an Extension of Gabriel-Ulmer Duality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6448348)