Copertina

Duality theory for categorical theories

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Ye, Lingyuan
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Category Theory Logic 03C35, 03G30,
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Categorical structure in coherent theory of arithmetic
di: Ye, Lingyuan
Pubblicazione: (2023)

Stack Representation of Finitely Presented Heyting Pretoposes I
di: Ye, Lingyuan
Pubblicazione: (2024)

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

Duality for Clans: an Extension of Gabriel-Ulmer Duality
di: Frey, Jonas
Pubblicazione: (2023)

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

Double-functorial representation of regular monoidal structures
di: Siqueira, José
Pubblicazione: (2025)

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

Coexact completion of profinite Heyting algebras and uniform interpolation
di: Ye, Lingyuan
Pubblicazione: (2026)

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

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

Uniform Preorders and Partial Combinatory Algebras
di: Frey, Jonas
Pubblicazione: (2024)

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

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

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

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

On the Existence and Disjunction Properties in Structural Set Theory
di: Saving, Mark
Pubblicazione: (2023)

Bochvar algebras: A categorical equivalence and the generated variety
di: Bonzio, Stefano, et al.
Pubblicazione: (2024)

A universal characterization of standard Borel spaces
di: Chen, Ruiyuan
Pubblicazione: (2019)

A category of arrow algebras for modified realizability
di: Tarantino, Umberto
Pubblicazione: (2024)

Domains and Classifying Topoi
di: Sterling, Jonathan, et al.
Pubblicazione: (2025)

Hilbert spaces admit no finitary discrete imaginaries
di: Chen, Ruiyuan, et al.
Pubblicazione: (2025)

A $j$-translation with Kripke forcing relation
di: Nakata, Satoshi
Pubblicazione: (2026)

On the categoricity of complete second order theories
di: Saarinen, Tapio, et al.
Pubblicazione: (2024)

The biequivalence of path categories and axiomatic Martin-Löf type theories
di: Otten, Daniël, et al.
Pubblicazione: (2025)

Lifting independence along functors
di: Kamsma, Mark, et al.
Pubblicazione: (2024)

Biased elementary doctrines and quotient completions
di: Cioffo, Cipriano Junior
Pubblicazione: (2023)

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

NSOP$_1$-like independence in AECats
di: Kamsma, Mark
Pubblicazione: (2021)

Homological Invariants of Higher-Order Equational Theories
di: Ikebuchi, Mirai
Pubblicazione: (2025)

Notions of rank and independence in countably categorical theories
di: Koponen, Vera
Pubblicazione: (2025)

Connectedness through decidable quotients
di: Hernández, Enrique Ruiz, et al.
Pubblicazione: (2023)

Extending conceptual completeness via virtual ultracategories
di: Saadia, Gabriel
Pubblicazione: (2025)

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

Extended Contact Algebras: Algebraic analysis and duality theory
di: Gruszczyński, Rafał, et al.
Pubblicazione: (2025)

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

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

Constructive reflectivity principles for regular theories
di: Forssell, Henrik, et al.
Pubblicazione: (2016)

Remarks on relative categoricity
di: Pillay, Anand
Pubblicazione: (2026)

Groupoids, imaginaries and internal covers
di: Hrushovski, Ehud
Pubblicazione: (2006)

Arrow algebras
di: Berg, Benno van den, et al.
Pubblicazione: (2023)