Stack Representation of Finitely Presented Heyting Pretoposes I

arXiv2402.13099MaRDI QIDQ6522653FDOQ6522653

Authors:

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

This page was built for publication: Stack Representation of Finitely Presented Heyting Pretoposes I

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