THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES

DOI10.1017/jsl.2018.42zbMath1409.18002arXiv1911.13139OpenAlexW2906635480WikidataQ112120961 ScholiaQ112120961MaRDI QIDQ4647119

Matias Menni

Publication date: 4 January 2019

Published in: The 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)

Related Items (4)

Unnamed Item ⋮ Maps with discrete fibers and the origin of basepoints ⋮ Unnamed Item ⋮ The hyperconnected maps that are local

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Defining sets as sets of points of spaces
• The construction of \(\pi_0\) in Axiomatic Cohesion
• Decidable (= separable) objects and morphisms in lextensive categories
• Unity and identity of opposites in calculus and physics
• On the relation between continuous and combinatorial
• Elementary axioms for canonical points of toposes
• Cohesive Toposes and Cantor's 'lauter Einsen'
• Foundations and Applications: Axiomatization and Education

This page was built for publication: THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES