The following pages link to (Q4828514):
Displayed 50 items.
- 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)
- Infinitary first-order categorical logic (Q1625589) (← links)
- Hilsum-Skandalis maps as Frobenius adjunctions with application to geometric morphisms (Q1683369) (← links)
- Enriched and internal categories: an extensive relationship (Q1689326) (← links)
- Exact completion of path categories and algebraic set theory. I: Exact completion of path categories (Q1748403) (← links)
- Tensor triangular geometry of filtered modules (Q1755546) (← links)
- Splitting idempotents in a fibered setting (Q1756501) (← 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)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
- The Frobenius condition, right properness, and uniform fibrations (Q2013548) (← links)
- Stability of properties of locales under groups (Q2014016) (← links)
- A general method for building reflections (Q2015819) (← links)
- A topological groupoid representing the topos of presheaves on a monoid (Q2024923) (← links)
- The semantic view of theories and higher-order languages (Q2052159) (← links)
- On sheaf cohomology and natural expansions (Q2054954) (← links)
- Some remarks on blueprints and \(\mathbb{F}_1\)-schemes (Q2054971) (← links)
- Quasi-categories vs. Segal spaces: Cartesian edition (Q2063063) (← links)
- Constructive strong regularity and the extension property of a compactification (Q2084952) (← links)
- Localization, monoid sets and \(K\)-theory (Q2097268) (← links)
- A Serre-Swan theorem for coisotropic algebras (Q2123065) (← links)
- The stable category of preorders in a pretopos. I: General theory (Q2125158) (← links)
- On models of higher-order separation logic (Q2130583) (← links)
- Nuclear ranges in implicative semilattices (Q2131292) (← links)
- Numerable open covers and representability of topological stacks (Q2165565) (← links)
- On the homotopy theory for Lie \(\infty\)-groupoids, with an application to integrating \(L_\infty\)-algebras (Q2187726) (← 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 relation between continuous and combinatorial (Q2363407) (← links)
- A perspective on non-commutative frame theory (Q2400516) (← links)
- Theoretical equivalence in classical mechanics and its relationship to duality (Q2406917) (← links)
- Quiver GIT for varieties with tilting bundles (Q2408126) (← 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)