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)

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

(13)

• 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

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)