The following pages link to (Q4828514):
Displayed 22 items.
- 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)
- 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)
- 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)
- On the Distinction Between Sets and Classes: A Categorical Perspective (Q5213632) (← links)
- $L'$-localization in an $\infty$-topos (Q5220050) (← links)
- On Finitary Functors (Q5243045) (← links)
- Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔} (Q5243125) (← links)
- Some exact sequences associated with adjunctions in bicategories. Applications (Q5380495) (← links)
- Group action in topos quantum physics (Q5397779) (← links)
- CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC (Q5855747) (← links)
- INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM (Q5855752) (← links)
- Topological modular forms with level structure (Q5963142) (← links)
- A model of guarded recursion with clock synchronisation (Q5971393) (← links)