Image de couverture de livre

Stack Representation of Finitely Presented Heyting Pretoposes I

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Ye, Lingyuan
Format:	Preprint
Publié:	2024
Sujets:	Logic Category Theory 03G30 F.4.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Homological Invariants of Higher-Order Equational Theories
par: Ikebuchi, Mirai
Publié: (2025)

Categorical structure in coherent theory of arithmetic
par: Ye, Lingyuan
Publié: (2023)

Skolem, Gödel, and Hilbert fibrations
par: Trotta, Davide, et autres
Publié: (2024)

Duality theory for categorical theories
par: Ye, Lingyuan
Publié: (2026)

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

Coexact completion of profinite Heyting algebras and uniform interpolation
par: Ye, Lingyuan
Publié: (2026)

On a fibrational construction for optics, lenses, and Dialectica categories
par: Capucci, Matteo, et autres
Publié: (2024)

On the Realizability of Prime Conjectures in Heyting Arithmetic
par: Rosko, Milan
Publié: (2025)

Substructural fixed-point theorems and the diagonal argument: theme and variations
par: Roberts, David Michael
Publié: (2021)

Left-Linear Rewriting in Adhesive Categories
par: Baldan, Paolo, et autres
Publié: (2024)

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

A Classifying Topos for the Spectrum of Equivalences
par: Oggad, Kenan
Publié: (2026)

On the computational properties of ambivalent sets and functions
par: Normann, Dag, et autres
Publié: (2026)

E-variables and tests of randomness for distribution classes
par: Potapov, Georgii, et autres
Publié: (2026)

Projective Presentations of Lex Modalities
par: Williams, Mark Damuni
Publié: (2025)

On the Existence and Disjunction Properties in Structural Set Theory
par: Saving, Mark
Publié: (2023)

Uniform Preorders and Partial Combinatory Algebras
par: Frey, Jonas
Publié: (2024)

The biequivalence of path categories and axiomatic Martin-Löf type theories
par: Otten, Daniël, et autres
Publié: (2025)

Linear Orders in Presburger Arithmetic
par: Pakhomov, Fedor, et autres
Publié: (2022)

Random Variables, Conditional Independence and Categories of Abstract Sample Spaces
par: Stein, Dario
Publié: (2025)

A Completeness Theorem for Topological Doctrines
par: Ghilardi, Silvio, et autres
Publié: (2025)

A $j$-translation with Kripke forcing relation
par: Nakata, Satoshi
Publié: (2026)

Relational Models for the Lambek Calculus with Intersection and Constants
par: Kuznetsov, Stepan L.
Publié: (2022)

Layered Monoidal Theories II: Fibrational Semantics
par: Lobski, Leo, et autres
Publié: (2026)

The reverse mathematics of the pigeonhole hierarchy
par: Houérou, Quentin Le, et autres
Publié: (2024)

Formal P-Category Theory and Normalization by Evaluation in Rocq
par: Berry, David G., et autres
Publié: (2025)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
par: Vodrazka, Daniel
Publié: (2025)

Arithmetics within the Linear Time Hierarchy
par: Pollett, Chris
Publié: (2025)

Di- is for Directed: First-Order Directed Type Theory via Dinaturality
par: Laretto, Andrea, et autres
Publié: (2024)

Weihrauch problems as containers
par: Pradic, Cécilia, et autres
Publié: (2025)

Glivenko's theorems from an ecumenical perspective
par: Pereira, Luiz Carlos, et autres
Publié: (2026)

Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
par: Castiglioni, José Luis, et autres
Publié: (2025)

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

Forcing as a Local Method of Accessing Small Extensions
par: Lau, Desmond
Publié: (2024)

Kripke-Joyal forcing for type theory and uniform fibrations
par: Awodey, S., et autres
Publié: (2021)

Arrow algebras
par: Berg, Benno van den, et autres
Publié: (2023)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
par: Stanković, Marko, et autres
Publié: (2025)

A category of arrow algebras for modified realizability
par: Tarantino, Umberto
Publié: (2024)

Quotients, pure existential completions and arithmetic universes
par: Maietti, Maria Emilia, et autres
Publié: (2023)

Tunnel Geometry and Proliferation Logic: A Strict Categorical Equivalence
par: Sukhov, Dmytro
Publié: (2025)