Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2019
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/1908.10510 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)
by: Cioffo, Cipriano Junior
Published: (2023)
Simultaneously nonvanishing higher derived limits
by: Casarosa, Matteo, et al.
Published: (2024)
by: Casarosa, Matteo, et al.
Published: (2024)
The Game-Theoretic Katětov Order and Idealised Effective Subtoposes
by: Kihara, Takayuki, et al.
Published: (2026)
by: Kihara, Takayuki, et al.
Published: (2026)
Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions
by: Chen, Ruiyuan
Published: (2022)
by: Chen, Ruiyuan
Published: (2022)
Infinitary combinatorics in condensed math and strong homology
by: Bergfalk, Jeffrey, et al.
Published: (2024)
by: Bergfalk, Jeffrey, et al.
Published: (2024)
Quotients, pure existential completions and arithmetic universes
by: Maietti, Maria Emilia, et al.
Published: (2023)
by: Maietti, Maria Emilia, et al.
Published: (2023)
Craig Interpolation for Subgeometric Logics
by: Di Liberti, Ivan, et al.
Published: (2026)
by: Di Liberti, Ivan, et al.
Published: (2026)
The cohomology objects of a semi-abelian variety are small
by: Mattenet, Sébastien, et al.
Published: (2024)
by: Mattenet, Sébastien, et al.
Published: (2024)
The Gamified Katětov order is not linear (in fact, very much not so)
by: Kihara, Takayuki, et al.
Published: (2026)
by: Kihara, Takayuki, et al.
Published: (2026)
The elementary theory of the 2-category of small categories
by: Hughes, Calum, et al.
Published: (2024)
by: Hughes, Calum, et al.
Published: (2024)
A topos for extended Weihrauch degrees
by: Maschio, Samuele, et al.
Published: (2025)
by: Maschio, Samuele, et al.
Published: (2025)
Higher limits of wider systems
by: Bergfalk, Jeffrey, et al.
Published: (2025)
by: Bergfalk, Jeffrey, et al.
Published: (2025)
Poset-enriched pretoposes and compact ordered spaces
by: Marquès, Jérémie, et al.
Published: (2025)
by: Marquès, Jérémie, et al.
Published: (2025)
Extended Contact Algebras: Algebraic analysis and duality theory
by: Gruszczyński, Rafał, et al.
Published: (2025)
by: Gruszczyński, Rafał, et al.
Published: (2025)
Purity in compactly generated derivators and t-structures with Grothendieck hearts
by: Laking, Rosanna
Published: (2018)
by: Laking, Rosanna
Published: (2018)
Sketches and Classifying Logoi
by: Di Liberti, Ivan, et al.
Published: (2024)
by: Di Liberti, Ivan, et al.
Published: (2024)
Topoi with enough points
by: Di Liberti, Ivan, et al.
Published: (2024)
by: Di Liberti, Ivan, et al.
Published: (2024)
Quantifier-free formulas and quantifier alternation depth in doctrines
by: Abbadini, Marco, et al.
Published: (2024)
by: Abbadini, Marco, et al.
Published: (2024)
On the Existence and Disjunction Properties in Structural Set Theory
by: Saving, Mark
Published: (2023)
by: Saving, Mark
Published: (2023)
An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
by: Maietti, Maria Emilia, et al.
Published: (2025)
by: Maietti, Maria Emilia, et al.
Published: (2025)
Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation
by: Howlader, Prosenjit, et al.
Published: (2026)
by: Howlader, Prosenjit, et al.
Published: (2026)
Duality for Clans: an Extension of Gabriel-Ulmer Duality
by: Frey, Jonas
Published: (2023)
by: Frey, Jonas
Published: (2023)
Model theory in compactly generated (tensor-)triangulated categories
by: Prest, Mike, et al.
Published: (2023)
by: Prest, Mike, et al.
Published: (2023)
Absoluteness of the Riemann integral
by: Parra-Londoño, Carlos M., et al.
Published: (2025)
by: Parra-Londoño, Carlos M., et al.
Published: (2025)
Generalised ultracategories and conceptual completeness of geometric logic
by: Hamad, Ali
Published: (2025)
by: Hamad, Ali
Published: (2025)
Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes
by: Gilson, Frank
Published: (2025)
by: Gilson, Frank
Published: (2025)
Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)
by: Uftring, Patrick
Published: (2025)
On the theories classified by an étendue
by: Wrigley, Joshua
Published: (2025)
by: Wrigley, Joshua
Published: (2025)
Profunctorial algebras
by: Aristote, Quentin, et al.
Published: (2026)
by: Aristote, Quentin, et al.
Published: (2026)
The finite Friedman-Stanley jumps: generic dichotomies for Borel homomorphisms
by: Shani, Assaf
Published: (2024)
by: Shani, Assaf
Published: (2024)
Toposes with enough points as categories of étale spaces
by: van Gool, Sam, et al.
Published: (2025)
by: van Gool, Sam, et al.
Published: (2025)
$Sh(B)$-valued models of $(κ,κ)$-coherent categories
by: Kanalas, Kristóf
Published: (2023)
by: Kanalas, Kristóf
Published: (2023)
Cartesian closedness of the category of real-valued sets, I
by: Shen, Lili, et al.
Published: (2025)
by: Shen, Lili, et al.
Published: (2025)
On duality and model theory for polyadic spaces
by: van Gool, Sam, et al.
Published: (2022)
by: van Gool, Sam, et al.
Published: (2022)
Freely adding one layer of quantifiers to a Boolean doctrine
by: Abbadini, Marco, et al.
Published: (2024)
by: Abbadini, Marco, et al.
Published: (2024)
Locally Integral Involutive PO-Semigroups
by: Gil-Férez, José, et al.
Published: (2023)
by: Gil-Férez, José, et al.
Published: (2023)
Categorical structure in coherent theory of arithmetic
by: Ye, Lingyuan
Published: (2023)
by: Ye, Lingyuan
Published: (2023)
Logic and Concepts in the 2-category of Topoi
by: Di Liberti, Ivan, et al.
Published: (2025)
by: Di Liberti, Ivan, et al.
Published: (2025)
Existentially closed models and locally zero-dimensional toposes
by: Kamsma, Mark, et al.
Published: (2024)
by: Kamsma, Mark, et al.
Published: (2024)
A Completeness Theorem for Topological Doctrines
by: Ghilardi, Silvio, et al.
Published: (2025)
by: Ghilardi, Silvio, et al.
Published: (2025)