Publication:4828514
From MaRDI portal
zbMath1071.18002MaRDI QIDQ4828514
Publication date: 19 November 2004
Related Items
Group action in topos quantum physics, On inverse semigroup \(C^*\)-algebras and crossed products, Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets, Topological inductive definitions, The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit., Modes of adjointness, How to be a structuralist all the way down, Dedekind categories with cutoff operators, A representation theorem for geometric morphisms, Locatedness and overt sublocales, Pseudo-commutativity of KZ 2-monads, Structural universals as structural parts: toward a general theory of parthood and composition, Atomic toposes and countable categoricity, Noncommutativity as a colimit, Grothendieck quasitoposes, Generalising canonical extension to the categorical setting, Intuitionistic quantum logic of an \(n\)-level system, Étale groupoids and their quantales, The intersection of algebra and coalgebra, Baer sums in homological categories, Note on a theorem of Bousfield and Friedlander, The associated sheaf functor theorem in algebraic set theory, Fuzzy sets and geometric logic, Läuchli's completeness theorem from a topos-theoretic perspective, Sheaves as modules, The universal covering of an inverse semigroup., Quantum logic in dagger kernel categories, Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory, The connected Vietoris powerlocale, A minimalist two-level foundation for constructive mathematics, De Morgan classifying toposes, A topos for algebraic quantum theory, Presenting locale pullback via directed complete posets, Entailment systems for stably locally compact locales, A universal characterization of the double powerlocale, Completeness of cocompletions, Protomodular aspect of the dual of a topos, Saturated models of intuitionistic theories, The space of measurement outcomes as a spectral invariant for non-commutative algebras, A comparison of two topos-theoretic approaches to quantum theory, Resolutions, higher extensions and the relative Mal'tsev axiom, A general method for building reflections, Fraïssé's construction from a topos-theoretic perspective, Descent in locally presentable categories, Morphisms of colimits: from paths to profunctors, An étale van Kampen theorem for simplicial sheaves, Fibred amalgamation, descent data, and Van Kampen squares in topoi, On the mechanization of the proof of Hessenberg's theorem in coherent logic, Nuclear typing of frames vs spatial selectors, Compactly generated Hausdorff locales, Complemented sublocales and open maps, On the parallel between the suplattice and preframe approaches to locale theory, Compactness in locales and in formal topology, Yoneda structures from 2-toposes, On Tarski’s fixed point theorem
