Poset-enriched pretoposes and compact ordered spaces

MaRDI QIDQ7188951arXivFDO

Authors Jérémie Marquès, Luca Reggio

Publication date 2025

Published in arXiv

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Enriched categories (over closed or monoidal categories) (18D20) Regular categories, Barr-exact categories (18E08) Categories of topological spaces and continuous mappings (18F60)

arXiv classification

math.CT

This page was built for publication: Poset-enriched pretoposes and compact ordered spaces

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