The following pages link to (Q4828514):
Displayed 50 items.
- On inverse semigroup \(C^*\)-algebras and crossed products (Q399427) (← links)
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets (Q448334) (← links)
- Topological inductive definitions (Q450944) (← links)
- The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. (Q471915) (← links)
- Modes of adjointness (Q484110) (← links)
- How to be a structuralist all the way down (Q542132) (← links)
- Dedekind categories with cutoff operators (Q549312) (← links)
- A representation theorem for geometric morphisms (Q613566) (← links)
- Locatedness and overt sublocales (Q638474) (← links)
- Pseudo-commutativity of KZ 2-monads (Q645210) (← links)
- Structural universals as structural parts: toward a general theory of parthood and composition (Q656165) (← links)
- Atomic toposes and countable categoricity (Q695312) (← links)
- Noncommutativity as a colimit (Q695318) (← links)
- Grothendieck quasitoposes (Q713289) (← links)
- Generalising canonical extension to the categorical setting (Q714727) (← links)
- Intuitionistic quantum logic of an \(n\)-level system (Q735205) (← links)
- Étale groupoids and their quantales (Q854099) (← links)
- The intersection of algebra and coalgebra (Q860879) (← links)
- Baer sums in homological categories (Q868875) (← links)
- Note on a theorem of Bousfield and Friedlander (Q930749) (← links)
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- Fuzzy sets and geometric logic (Q969577) (← links)
- Läuchli's completeness theorem from a topos-theoretic perspective (Q969688) (← links)
- Sheaves as modules (Q969690) (← links)
- The universal covering of an inverse semigroup. (Q969694) (← links)
- Quantum logic in dagger kernel categories (Q981683) (← links)
- Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory (Q981685) (← links)
- The connected Vietoris powerlocale (Q1030196) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- De Morgan classifying toposes (Q1034091) (← links)
- A topos for algebraic quantum theory (Q1048087) (← links)
- Presenting locale pullback via directed complete posets (Q1434361) (← links)
- Entailment systems for stably locally compact locales (Q1434362) (← links)
- A universal characterization of the double powerlocale (Q1434363) (← links)
- Completeness of cocompletions (Q1770534) (← links)
- Protomodular aspect of the dual of a topos (Q1877878) (← links)
- Saturated models of intuitionistic theories (Q1887664) (← links)
- The space of measurement outcomes as a spectral invariant for non-commutative algebras (Q1929295) (← links)
- A comparison of two topos-theoretic approaches to quantum theory (Q1936655) (← links)
- Resolutions, higher extensions and the relative Mal'tsev axiom (Q1952133) (← links)
- A general method for building reflections (Q2015819) (← links)
- Fraïssé's construction from a topos-theoretic perspective (Q2254565) (← links)
- Descent in locally presentable categories (Q2254578) (← links)
- Morphisms of colimits: from paths to profunctors (Q2254597) (← links)
- An étale van Kampen theorem for simplicial sheaves (Q2349927) (← links)
- Fibred amalgamation, descent data, and Van Kampen squares in topoi (Q2350322) (← links)
- On the mechanization of the proof of Hessenberg's theorem in coherent logic (Q2471743) (← links)
- Nuclear typing of frames vs spatial selectors (Q2502180) (← links)
- Compactly generated Hausdorff locales (Q2575768) (← links)
- Complemented sublocales and open maps (Q2575771) (← links)