Cover Image

Poset-enriched pretoposes and compact ordered spaces

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Marquès, Jérémie, Reggio, Luca
Format:	Preprint
Published:	2025
Subjects:	Category Theory Logic 18F60, 03G30, 18D20, 18E08
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Toposes with enough points as categories of étale spaces
by: van Gool, Sam, et al.
Published: (2025)

A Completeness Theorem for Topological Doctrines
by: Ghilardi, Silvio, et al.
Published: (2025)

$(\infty,1)$-Categorical Comprehension Schemes
by: Stenzel, Raffael
Published: (2020)

Kripke-Joyal forcing for type theory and uniform fibrations
by: Awodey, S., et al.
Published: (2021)

Model theory in compactly generated (tensor-)triangulated categories
by: Prest, Mike, et al.
Published: (2023)

On the lack of colimits in various categories arising in pointfree topology and algebraic logic
by: Abbadini, Marco, et al.
Published: (2025)

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

Atomic Toposes with Co-Well-Founded Categories of Atoms
by: Marquès, Jérémie
Published: (2024)

2-classifiers via dense generators and Hofmann-Streicher universe in stacks
by: Mesiti, Luca
Published: (2024)

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
by: Maietti, Maria Emilia, et al.
Published: (2025)

A topos for extended Weihrauch degrees
by: Maschio, Samuele, et al.
Published: (2025)

Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)

Homological Lemmas in a Non-pointed Context
by: Cappelletti, Andrea, et al.
Published: (2024)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
by: Inoué, Takao
Published: (2026)

Existential completions and Herbrand's theorem
by: Wrigley, Joshua L.
Published: (2025)

Fibrational approach to Grandis exactness for 2-categories
by: Caviglia, Elena, et al.
Published: (2025)

The elementary theory of the 2-category of small categories
by: Hughes, Calum, et al.
Published: (2024)

Generalised ultracategories and conceptual completeness of geometric logic
by: Hamad, Ali
Published: (2025)

Arrow algebras
by: Berg, Benno van den, et al.
Published: (2023)

From Torsors to Topoi: An Introduction with a View Toward $Σ$-Protocols in Cryptography
by: Inoué, Takao
Published: (2026)

Purity in compactly generated derivators and t-structures with Grothendieck hearts
by: Laking, Rosanna
Published: (2018)

A universal characterization of standard Borel spaces
by: Chen, Ruiyuan
Published: (2019)

$\mathbb{P}^n$-functors
by: Anno, Rina, et al.
Published: (2019)

Hereditarily indecomposable continua as generic mathematical structures
by: Bartoš, Adam, et al.
Published: (2022)

Freely adding one layer of quantifiers to a Boolean doctrine
by: Abbadini, Marco, et al.
Published: (2024)

The cohomology objects of a semi-abelian variety are small
by: Mattenet, Sébastien, et al.
Published: (2024)

On a fibrational construction for optics, lenses, and Dialectica categories
by: Capucci, Matteo, et al.
Published: (2024)

Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
by: Rasekh, Nima
Published: (2025)

Logic and Concepts in the 2-category of Topoi
by: Di Liberti, Ivan, et al.
Published: (2025)

Infinitary combinatorics in condensed math and strong homology
by: Bergfalk, Jeffrey, et al.
Published: (2024)

Skolem, Gödel, and Hilbert fibrations
by: Trotta, Davide, et al.
Published: (2024)

Homological lemmas for (non-abelian) group-like structures by diagram chasing in a self-dual context
by: Dayaram, Kishan Kumar, et al.
Published: (2023)

The free bifibration on a functor
by: Clarke, Bryce, et al.
Published: (2025)

On the theories classified by an étendue
by: Wrigley, Joshua
Published: (2025)

Topoi with enough points
by: Di Liberti, Ivan, et al.
Published: (2024)

Strictly atomic modules in definable categories
by: Prest, Mike
Published: (2021)

A category of arrow algebras for modified realizability
by: Tarantino, Umberto
Published: (2024)

Quotients, pure existential completions and arithmetic universes
by: Maietti, Maria Emilia, et al.
Published: (2023)

Notions of enriched purity
by: Rosický, Jiří, et al.
Published: (2023)