Continuous cohesion over sets

MaRDI QIDQ2927669zbMATH OpenFDO

Authors Matias Menni

Publication date 4 November 2014

Published in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL http://www.emis.de/journals/TAC/volumes/29/20/29-20abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

axiomatic cohesionpresheaf topostopos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Review text

Lawvere proposed to analyze the contrast between cohesion (``space) andNEWLINEnon-cohesion (``set) in axiomatic terms: the basic data consist in theNEWLINEtwo categories and a string of four adjoint functors between them: ``setNEWLINEof components, discrete ``space, ``set of points, codiscrete ``space --NEWLINErequired to satisfy certain properties.NEWLINENEWLINEIn terms of such a string, one defines notions like ``NullstellensatzNEWLINE(``every component has at last one point), contractibility, homotopyNEWLINEclasses of maps.NEWLINENEWLINEModels of the axiomatics are best studied in the context of geometricNEWLINEmorphisms between toposes.NEWLINENEWLINEThe paper by Menni under review is a contribution to this analysis, forNEWLINEthe case where the non-cohesive topos is just the category of sets, andNEWLINEthe cohesive one is a presheaf topos, like simplicial sets. It is provedNEWLINEthat for presheaf toposes, certain of the desirable properties of theNEWLINEcohesive/non-cohesive contrast are incompatible. More specifically forNEWLINEpresheaf toposes, the property ``every object embeds in a contractibleNEWLINEobject is incompatible with the property ``infinite products ofNEWLINEconnected objects are connected.NEWLINENEWLINEBut on the other hand, Menni constructs toposes (over sets) where theseNEWLINEtwo properties are compatible, thus the Lawvere axiomatics of cohesionNEWLINEis consistent.

Recommendations

• Continuity on a Set
• Continuous position and existence sets
• Continuity in partially ordered sets
• Cohesive sets and rainbows
• Continuous convergence and preservation of convergences of sets
• Cocompact open sets and continuity
• Cocycles and continuity
• scientific article; zbMATH DE number 4044750
• scientific article; zbMATH DE number 859878
• Coherence spaces and uniform continuity

Cited in

(14)

• The construction of \(\pi_0\) in Axiomatic Cohesion
• Monoid properties as invariants of toposes of monoid actions
• The hyperconnected maps that are local
• On the relation between continuous and combinatorial
• Sufficient cohesion over atomic toposes
• scientific article; zbMATH DE number 7229466 (Why is no real title available?)
• A cohesive set which is not high
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory
• The unity and identity of decidable objects and double-negation sheaves
• The canonical intensive quality of a cohesive topos
• Monic skeleta, boundaries, Aufhebung, and the meaning of `one-dimensionality'
• Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness
• Axiomatic cohesion
• Tininess and right adjoints to exponentials

This page was built for publication: Continuous cohesion over sets

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