Duality for Clans: an Extension of Gabriel-Ulmer Duality

MaRDI QIDQ6448348zbMATH OpenFDO

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)