Connectedness through decidable quotients

MaRDI QIDQ6945780zbMATH OpenFDO

Authors Enrique Ruiz Hernández, Pedro Solórzano

Publication date 7 August 2025

Published in Cahiers de Topologie et Géométrie Différentielle Catégoriques (Search for Journal in Brave)

Full work available at URL https://cahierstgdc.com/wp-content/uploads/2025/07/CTGDC_LXVI-3_Ruiz-Solorzano.pdf

zbMATH Keywords

connectednessprecohesiontopos

Mathematics Subject Classification ID

Type theory (03B38) Categorical logic, topoi (03G30) Topoi (18B25)

This page was built for publication: Connectedness through decidable quotients

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