Buchumschlag

Duality theory for categorical theories

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Ye, Lingyuan
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Category Theory Logic 03C35, 03G30,
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Categorical structure in coherent theory of arithmetic
von: Ye, Lingyuan
Veröffentlicht: (2023)

Stack Representation of Finitely Presented Heyting Pretoposes I
von: Ye, Lingyuan
Veröffentlicht: (2024)

Craig Interpolation for Subgeometric Logics
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2026)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
von: Frey, Jonas
Veröffentlicht: (2023)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2025)

Double-functorial representation of regular monoidal structures
von: Siqueira, José
Veröffentlicht: (2025)

Quotients, pure existential completions and arithmetic universes
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2023)

Coexact completion of profinite Heyting algebras and uniform interpolation
von: Ye, Lingyuan
Veröffentlicht: (2026)

On the theories classified by an étendue
von: Wrigley, Joshua
Veröffentlicht: (2025)

A Completeness Theorem for Topological Doctrines
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

Uniform Preorders and Partial Combinatory Algebras
von: Frey, Jonas
Veröffentlicht: (2024)

Cartesian double theories: A double-categorical framework for categorical doctrines
von: Lambert, Michael, et al.
Veröffentlicht: (2023)

A topos for extended Weihrauch degrees
von: Maschio, Samuele, et al.
Veröffentlicht: (2025)

Atomic Toposes with Co-Well-Founded Categories of Atoms
von: Marquès, Jérémie
Veröffentlicht: (2024)

Kripke-Joyal forcing for type theory and uniform fibrations
von: Awodey, S., et al.
Veröffentlicht: (2021)

On the Existence and Disjunction Properties in Structural Set Theory
von: Saving, Mark
Veröffentlicht: (2023)

Bochvar algebras: A categorical equivalence and the generated variety
von: Bonzio, Stefano, et al.
Veröffentlicht: (2024)

A universal characterization of standard Borel spaces
von: Chen, Ruiyuan
Veröffentlicht: (2019)

A category of arrow algebras for modified realizability
von: Tarantino, Umberto
Veröffentlicht: (2024)

Domains and Classifying Topoi
von: Sterling, Jonathan, et al.
Veröffentlicht: (2025)

Hilbert spaces admit no finitary discrete imaginaries
von: Chen, Ruiyuan, et al.
Veröffentlicht: (2025)

A $j$-translation with Kripke forcing relation
von: Nakata, Satoshi
Veröffentlicht: (2026)

On the categoricity of complete second order theories
von: Saarinen, Tapio, et al.
Veröffentlicht: (2024)

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

Lifting independence along functors
von: Kamsma, Mark, et al.
Veröffentlicht: (2024)

Biased elementary doctrines and quotient completions
von: Cioffo, Cipriano Junior
Veröffentlicht: (2023)

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

NSOP$_1$-like independence in AECats
von: Kamsma, Mark
Veröffentlicht: (2021)

Homological Invariants of Higher-Order Equational Theories
von: Ikebuchi, Mirai
Veröffentlicht: (2025)

Notions of rank and independence in countably categorical theories
von: Koponen, Vera
Veröffentlicht: (2025)

Connectedness through decidable quotients
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2023)

Extending conceptual completeness via virtual ultracategories
von: Saadia, Gabriel
Veröffentlicht: (2025)

Freely adding one layer of quantifiers to a Boolean doctrine
von: Abbadini, Marco, et al.
Veröffentlicht: (2024)

Extended Contact Algebras: Algebraic analysis and duality theory
von: Gruszczyński, Rafał, et al.
Veröffentlicht: (2025)

Existentially closed models and locally zero-dimensional toposes
von: Kamsma, Mark, et al.
Veröffentlicht: (2024)

Logic and Concepts in the 2-category of Topoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2025)

Constructive reflectivity principles for regular theories
von: Forssell, Henrik, et al.
Veröffentlicht: (2016)

Remarks on relative categoricity
von: Pillay, Anand
Veröffentlicht: (2026)

Groupoids, imaginaries and internal covers
von: Hrushovski, Ehud
Veröffentlicht: (2006)

Arrow algebras
von: Berg, Benno van den, et al.
Veröffentlicht: (2023)