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

DOI10.1017/JSL.2018.42zbMATH Open1409.18002arXiv1911.13139OpenAlexW2906635480WikidataQ112120961 ScholiaQ112120961MaRDI QIDQ4647119FDOQ4647119

Authors: Matias Menni 

Publication date: 4 January 2019

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

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.

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

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

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)

Cites Work

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

Cited In (5)

• Monic skeleta, boundaries, Aufhebung, and the meaning of `one-dimensionality'
• Maps with discrete fibers and the origin of basepoints
• Decidable objects and molecular toposes
• The canonical intensive quality of a cohesive topos
• 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)