Image de couverture de livre

On duality and model theory for polyadic spaces

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	van Gool, Sam, Marquès, Jérémie
Format:	Preprint
Publié:	2022
Sujets:	Logic Category Theory 03C07 (Primary), 06D50, 18C10, 18A15 (Secondary)
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Categorical Framework for Typed Extensional and Intensional Models in Formal Semantics
par: Quigley, Daniel
Publié: (2024)

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

On logical parameterizations and functional representability in local set theories
par: Hernández, Enrique Ruiz, et autres
Publié: (2021)

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

Toposes with enough points as categories of étale spaces
par: van Gool, Sam, et autres
Publié: (2025)

On the axiomatisability of the dual of compact ordered spaces
par: Abbadini, Marco
Publié: (2025)

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
par: Maietti, Maria Emilia, et autres
Publié: (2025)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
par: Nunes, Fernando Lucatelli, et autres
Publié: (2024)

Profunctorial algebras
par: Aristote, Quentin, et autres
Publié: (2026)

Type Theory for the Working Mathematical Music Theorist
par: Flieder, Drew
Publié: (2025)

Two-dimensional Kripke Semantics II: Stability and Completeness
par: Kavvos, G. A.
Publié: (2024)

Differential bundles as functors from free modules
par: Schwarz, Florian
Publié: (2025)

A 2-categorical analysis of context comprehension
par: Coraglia, Greta, et autres
Publié: (2024)

On abstract and concrete minions
par: Juhrich, Lukas
Publié: (2025)

A universal characterization of standard Borel spaces
par: Chen, Ruiyuan
Publié: (2019)

The Simplicial Model of Univalent Foundations (after Voevodsky)
par: Kapulkin, Chris, et autres
Publié: (2012)

Sketches and Classifying Logoi
par: Di Liberti, Ivan, et autres
Publié: (2024)

Quantifier-free formulas and quantifier alternation depth in doctrines
par: Abbadini, Marco, et autres
Publié: (2024)

Lifting independence along functors
par: Kamsma, Mark, et autres
Publié: (2024)

Two-dimensional Kripke Semantics I: Presheaves
par: Kavvos, G. A.
Publié: (2024)

Notes on some categories related to that of finite totally ordered sets
par: Matsuoka, Takuo
Publié: (2025)

Exponentiable Virtual Double Categories and Representability of Exponentials
par: Carlson, Kevin D., et autres
Publié: (2026)

Measuring data types
par: Mulder, Lukas, et autres
Publié: (2024)

An Internal Logic of Virtual Double Categories
par: Nasu, Hayato
Publié: (2024)

Cofibrant generation of pure monomorphisms in presheaf categories
par: Cox, Sean, et autres
Publié: (2025)

The powerset monad on quantale-valued sets
par: Shen, Lili, et autres
Publié: (2023)

Algebraic Type Theory, Part 1: Martin-Löf algebras
par: Awodey, Steve
Publié: (2025)

Ultracategories via Kan extensions of relative monads
par: Tarantino, Umberto, et autres
Publié: (2025)

Logic and Concepts in the 2-category of Topoi
par: Di Liberti, Ivan, et autres
Publié: (2025)

First-order homotopical logic
par: Helfer, Joseph
Publié: (2019)

Gödel coding on fibrations and geminal categories
par: Ikeda, Yuto
Publié: (2026)

Existential completions and Herbrand's theorem
par: Wrigley, Joshua L.
Publié: (2025)

Biased elementary doctrines and quotient completions
par: Cioffo, Cipriano Junior
Publié: (2023)

Categories graded by group homomorphisms
par: Davies, Jonathan
Publié: (2026)

Measure theory via Locales
par: Lehner, Georg
Publié: (2025)

Craig Interpolation for Subgeometric Logics
par: Di Liberti, Ivan, et autres
Publié: (2026)

Freely adding one layer of quantifiers to a Boolean doctrine
par: Abbadini, Marco, et autres
Publié: (2024)

Double Orthogonal Factorization Systems
par: Aberlé, C. B., et autres
Publié: (2025)

A topos for extended Weihrauch degrees
par: Maschio, Samuele, et autres
Publié: (2025)

Logical Aspects of Virtual Double Categories
par: Nasu, Hayato
Publié: (2025)