Stack Representation of Finitely Presented Heyting Pretoposes I

MaRDI QIDQ6522653arXivFDO

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)