Imagen de Portada

Generalised ultracategories and conceptual completeness of geometric logic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Hamad, Ali
Formato:	Preprint
Publicado:	2025
Materias:	Category Theory Logic 03G30, 03C20, 18F10, 18N10, 22A22
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The representing localic groupoid for a geometric theory
por: Manuell, Graham, et al.
Publicado: (2023)

Existentially closed models and locally zero-dimensional toposes
por: Kamsma, Mark, et al.
Publicado: (2024)

Generic bundles over a localic category
por: Manuell, Graham, et al.
Publicado: (2026)

Biased elementary doctrines and quotient completions
por: Cioffo, Cipriano Junior
Publicado: (2023)

Extending conceptual completeness via virtual ultracategories
por: Saadia, Gabriel
Publicado: (2025)

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

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

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

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

Ultracategories as colax algebras for a pseudo-monad on CAT
por: Hamad, Ali
Publicado: (2025)

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

Craig Interpolation for Subgeometric Logics
por: Di Liberti, Ivan, et al.
Publicado: (2026)

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

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas
por: Nunes, Fernando Lucatelli, et al.
Publicado: (2024)

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

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

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

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

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
por: Nunes, Fernando Lucatelli, et al.
Publicado: (2024)

Profunctorial algebras
por: Aristote, Quentin, et al.
Publicado: (2026)

Cartesian double theories: A double-categorical framework for categorical doctrines
por: Lambert, Michael, et al.
Publicado: (2023)

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

Topoi with enough points
por: Di Liberti, Ivan, et al.
Publicado: (2024)

Bi-directional models of `radically synthetic' differential geometry
por: Menni, Matías
Publicado: (2024)

A comonad for Grothendieck fibrations
por: Emmenegger, Jacopo, et al.
Publicado: (2023)

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

Categorical structure in coherent theory of arithmetic
por: Ye, Lingyuan
Publicado: (2023)

Internal 1-topoi in 2-topoi
por: Helfer, Joseph
Publicado: (2024)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
por: Spadetto, Matteo
Publicado: (2025)

Quantifier-free formulas and quantifier alternation depth in doctrines
por: Abbadini, Marco, et al.
Publicado: (2024)

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

Sites and Grothendieck toposes: an introduction
por: Caramello, Olivia, et al.
Publicado: (2025)

Generation of Grothendieck topologies, provability and operations on subtoposes
por: Caramello, Olivia, et al.
Publicado: (2025)

Logical Aspects of Virtual Double Categories
por: Nasu, Hayato
Publicado: (2025)

$Sh(B)$-valued models of $(κ,κ)$-coherent categories
por: Kanalas, Kristóf
Publicado: (2023)

A universal characterization of standard Borel spaces
por: Chen, Ruiyuan
Publicado: (2019)

The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
por: van Woerkom, Wijnand, et al.
Publicado: (2024)

On topological groupoids that represent theories
por: Wrigley, Joshua
Publicado: (2023)

The algebraic internal groupoid model of Martin-Löf type theory
por: Hughes, Calum
Publicado: (2025)

Non-Standard Models of Homotopy Type Theory
por: Rasekh, Nima
Publicado: (2025)