The following pages link to (Q4828514):
Displayed 50 items.
- 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)
- On the parallel between the suplattice and preframe approaches to locale theory (Q2575778) (← links)
- Compactness in locales and in formal topology (Q2575779) (← links)
- Yoneda structures from 2-toposes (Q2643608) (← links)
- Radical theory of Scott-open filters (Q2682912) (← links)
- Topos Quantum Logic and Mixed States (Q2825364) (← links)
- On Tarski’s fixed point theorem (Q2944797) (← links)
- Derived Knörrer periodicity and Orlov’s theorem for gauged Landau–Ginzburg models (Q2990012) (← links)
- Invited Talk: Coherentisation of First-Order Logic (Q3455757) (← links)
- (Q4563241) (← links)
- Théories géométriques pour l’algèbre des nombres réels (Q4635369) (← links)
- The spectrum of a localic semiring (Q5043356) (← links)
- Higher Orbifolds and Deligne-Mumford Stacks as Structured Infinity-Topoi (Q5113920) (← links)
- On Supercompactly and Compactly Generated Toposes (Q5163480) (← links)
- AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN (Q5195067) (← links)