Cover Image

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nunes, Fernando Lucatelli, Vákár, Matthijs
Format:	Preprint
Published:	2024
Subjects:	Category Theory Logic in Computer Science Programming Languages 18N10, 18C10, 18F10, 18A22, 18A40, 18D10, 03B70, 68Q55, 03F52, 03F03 F.3.2; F.3.3; F.4.1; F.1.1; G.2.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Generalised ultracategories and conceptual completeness of geometric logic
by: Hamad, Ali
Published: (2025)

Unraveling the iterative CHAD
by: Nunes, Fernando Lucatelli, et al.
Published: (2025)

Alpay Algebra II: Identity as Fixed-Point Emergence in Categorical Data
by: Alpay, Faruk
Published: (2025)

From Copying to Corelations via Ancestry Partitions
by: Santacana, Andreu Ballus
Published: (2025)

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

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

Continuations and Completeness in Proof-theoretic Semantics
by: Gu, Tao, et al.
Published: (2026)

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

Topoi with enough points
by: Di Liberti, Ivan, et al.
Published: (2024)

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

Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
by: Kamio, Yuhi, et al.
Published: (2024)

Two-dimensional Kripke Semantics II: Stability and Completeness
by: Kavvos, G. A.
Published: (2024)

Two-dimensional Kripke Semantics I: Presheaves
by: Kavvos, G. A.
Published: (2024)

Non-singular maps in toposes with a local state classifier
by: Menni, Matí as
Published: (2025)

Remarks on Primitive Regulation
by: Rosko, Milan
Published: (2026)

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

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

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

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

From categorized neural architectures to subexponential proof theory
by: Ovalle, Carlos Ramírez
Published: (2026)

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

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

Formal P-Category Theory and Normalization by Evaluation in Rocq
by: Berry, David G., et al.
Published: (2025)

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

Skolem, Gödel, and Hilbert fibrations
by: Trotta, Davide, et al.
Published: (2024)

Grothendieck prelopologies: towards a closed monoidal sheaf category
by: Tenório, Ana Luiza, et al.
Published: (2024)

Carryless Pairing: Additive Pairing in the Fibonacci Basis
by: Rosko, Milan
Published: (2025)

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

Multivariate functorial difference
by: Paré, Robert
Published: (2024)

Exponentiable Grothendieck categories in flat Algebraic Geometry
by: Di Liberti, Ivan, et al.
Published: (2021)

Consistency formula is strictly stronger in PA than PA-consistency
by: Artemov, Sergei
Published: (2025)

Coherence for logicians
by: Petric, Zoran, et al.
Published: (2024)

Complexities of Well-Quasi-Ordered Substructural Logics
by: Galatos, Nikolaos, et al.
Published: (2025)

Infinitary combinatorics in condensed math and strong homology
by: Bergfalk, Jeffrey, et al.
Published: (2024)

Relational Connectors and Heterogeneous Bisimulations
by: Nora, Pedro, et al.
Published: (2024)

Lambek pregroups are Frobenius spiders in preorders
by: Pavlovic, Dusko
Published: (2021)

Tunnel Geometry and Proliferation Logic: A Strict Categorical Equivalence
by: Sukhov, Dmytro
Published: (2025)

The behavior of higher proof theory I: Case $Σ^1_2$
by: Jeon, Hanul
Published: (2024)

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