Decidable objects and molecular toposes

DOI10.33044/REVUMA.3427MaRDI QIDQ6667500zbMATH OpenFDO

Authors Matias Menni

Publication date 20 January 2025

Published in Revista de la Unión Matemática Argentina (Search for Journal in Brave)

Full work available at URL https://doi.org/10.33044/REVUMA.3427

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Grothendieck topologies and Grothendieck topoi (18F10)

Recommendations

• Toposes over which essential implies locally connected
• scientific article; zbMATH DE number 672108
• Decidable (= separable) objects and morphisms in lextensive categories
• The unity and identity of decidable objects and double-negation sheaves
• De Morgan classifying toposes

Cites work

• A basis theorem for 2-rigs and rig geometry
• An elementary characterization of categories of separated objects
• An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part defines an Exponential Ideal
• An essential, hyperconnected, local geometric morphism that is not locally connected
• Axiomatic cohesion
• Core varieties, extensivity, and rig geometry
• Decidable (= separable) objects and morphisms in lextensive categories
• Decidable objects and molecular toposes
• scientific article; zbMATH DE number 3680046 (Why is no real title available?)
• scientific article; zbMATH DE number 19477 (Why is no real title available?)
• scientific article; zbMATH DE number 1235851 (Why is no real title available?)
• scientific article; zbMATH DE number 5934764 (Why is no real title available?)
• scientific article; zbMATH DE number 3297895 (Why is no real title available?)
• scientific article; zbMATH DE number 3305157 (Why is no real title available?)
• scientific article; zbMATH DE number 3322752 (Why is no real title available?)
• Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness
• Maps with discrete fibers and the origin of basepoints
• Molecular toposes
• On localization and stabilization for factorization systems
• On product-preserving Kan extensions
• On right adjoints to exponential functors
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Sheaves in geometry and logic: a first introduction to topos theory
• Sufficient cohesion over atomic toposes
• Synthetic differential geometry
• The canonical intensive quality of a cohesive topos
• The hyperconnected maps that are local
• The unity and identity of decidable objects and double-negation sheaves
• Toposes over which essential implies locally connected

Cited in

(2)

• Decidable objects and molecular toposes
• Automata and coalgebras in categories of species

This page was built for publication: Decidable objects and molecular toposes

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