scientific article; zbMATH DE number 529898

MaRDI QIDQ4285617zbMATH OpenFDO

Authors Gavin C. Wraith

Publication date 24 March 1994

Full work available at URL http://www.numdam.org/item?id=CTGDC_1993__34_4_259_0, https://eudml.org/doc/91528

zbMATH Keywords

classifying toposcoherent theory of intervalsdistributive latticefree Boolean algebrageneric intervaltopos of simplicial sets

Mathematics Subject Classification ID

Distributive lattices (06D99) Ordered topological structures (06F30) Topoi (18B25) Categorical methods in general topology (54B30)

Recommendations

• Boolean algebraic structure on [0,1]
• Generalized free products
• An atomless interval Boolean algebra \(A\) such that \(\mathfrak {a}(A) <\mathfrak {t}(A)\).
• Constructive version of Boolean algebra
• Forcing and classifying topoi

Cites work

• Embeddings in contractible or compact objects
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3608260 (Why is no real title available?)
• On a Topological Topos
• Sheaves in geometry and logic: a first introduction to topos theory

Cited in

(4)

• Boolean algebraic structure on [0,1]
• A categorical construction of the real unit interval
• Zigzag normalisation for associative n-categories
• Posetal diagrams for logically-structured semistrict higher categories

This page was built for publication:

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