The unity and identity of decidable objects and double-negation sheaves

DOI10.1017/JSL.2018.42MaRDI QIDQ4647119zbMATH OpenOpenAlexWikidataFDO

Authors Matias Menni

Publication date 4 January 2019

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1911.13139

zbMATH Keywords

set theorytopos theoryaxiomatic cohesion

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Set theory (03E99)

Abstract: Let $calE$ be a topos, $mDec(calE)ightarrowcalE$ be the full subcategory of decidable objects, and ${calE}_{egeg}ightarrowcalE$ be the full subcategory of double-negation sheaves. We give sufficient conditions for the existence of a Unity and Identity $calEightarrowcalS$ for the two subcategories of E above, making them Adjointly Opposite. Typical examples of such $calE$ include many `gros' toposes in Algebraic Geometry, simplicial sets and other toposes of `combinatorial' spaces in Algebraic Topology, and certain models of Synthetic Differential Geometry.

Recommendations

• \(K\)-finite decidable objects and finite cardinals in an arbitrary topos
• Ultrasheaves and double negation
• Hausdorff separations and decidability
• Decidable (= separable) objects and morphisms in lextensive categories
• scientific article; zbMATH DE number 4095456

Cites work

• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 1913781 (Why is no real title available?)
• scientific article; zbMATH DE number 5934764 (Why is no real title available?)
• Axiomatic cohesion
• Cohesive Toposes and Cantor's 'lauter Einsen'
• Continuous cohesion over sets
• Core varieties, extensivity, and rig geometry
• Decidable (= separable) objects and morphisms in lextensive categories
• Defining sets as sets of points of spaces
• Elementary axioms for canonical points of toposes
• Foundations and Applications: Axiomatization and Education
• Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness
• On the relation between continuous and combinatorial
• Sufficient cohesion over atomic toposes
• Synthetic differential geometry
• The construction of \(\pi_0\) in Axiomatic Cohesion
• Unity and identity of opposites in calculus and physics

Cited in

(5)

• Monic skeleta, boundaries, Aufhebung, and the meaning of `one-dimensionality'
• Decidable objects and molecular toposes
• The canonical intensive quality of a cohesive topos
• Maps with discrete fibers and the origin of basepoints
• The hyperconnected maps that are local

This page was built for publication: The unity and identity of decidable objects and double-negation sheaves

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