Imagen de Portada

A Classifying Topos for the Spectrum of Equivalences

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Oggad, Kenan
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science Category Theory Logic 18B25, 68Q85 (primary), 03G30, 06D22 (secondary) F.4.1; F.3.2
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The equational theory of the Weihrauch lattice with (iterated) composition
por: Pradic, Cécilia
Publicado: (2024)

On the Realizability of Prime Conjectures in Heyting Arithmetic
por: Rosko, Milan
Publicado: (2025)

Smooth and Proper Maps
por: Anel, Mathieu, et al.
Publicado: (2024)

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

Amalgamation in Semilinear Residuated Lattices
por: Fussner, Wesley, et al.
Publicado: (2024)

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

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

Stack Representation of Finitely Presented Heyting Pretoposes I
por: Ye, Lingyuan
Publicado: (2024)

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

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

Homological Invariants of Higher-Order Equational Theories
por: Ikebuchi, Mirai
Publicado: (2025)

Arithmetics within the Linear Time Hierarchy
por: Pollett, Chris
Publicado: (2025)

Adversarial Barrier in Uniform Class Separation
por: Rosko, Milan
Publicado: (2025)

A Logspace Constructive Proof of L=SL
por: Buss, Sam, et al.
Publicado: (2025)

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

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

Relational Connectors and Heterogeneous Bisimulations
por: Nora, Pedro, et al.
Publicado: (2024)

From Copying to Corelations via Ancestry Partitions
por: Santacana, Andreu Ballus
Publicado: (2025)

2-Coherent Internal Models of Homotopical Type Theory
por: Chen, Joshua
Publicado: (2025)

Linear Orders in Presburger Arithmetic
por: Pakhomov, Fedor, et al.
Publicado: (2022)

Behavioural Conformances based on Lax Couplings
por: Wild, Paul, et al.
Publicado: (2025)

Continuous and algebraic domains in univalent foundations
por: de Jong, Tom, et al.
Publicado: (2024)

Relative consistency of Set Matrix Theory with ZF
por: Cabbolet, Marcoen J. T. F.
Publicado: (2024)

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

The logic of bunched implications is undecidable
por: Galatos, Nick, et al.
Publicado: (2026)

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

Conformance Games for Graded Semantics
por: Forster, Jonas, et al.
Publicado: (2024)

E-variables and tests of randomness for distribution classes
por: Potapov, Georgii, et al.
Publicado: (2026)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
por: Forster, Jonas, et al.
Publicado: (2023)

Uniform Computability of PAC Learning
por: Brattka, Vasco, et al.
Publicado: (2026)

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas
por: Nunes, Fernando Lucatelli, et al.
Publicado: (2024)

Computability of Initial Value Problems
por: Brattka, Vasco, et al.
Publicado: (2024)

Arrow algebras
por: Berg, Benno van den, et al.
Publicado: (2023)

Automatic structures and the problem of natural well-orderings
por: Beklemishev, Lev D., et al.
Publicado: (2024)

Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model
por: Martinez-Rivillas, Daniel O., et al.
Publicado: (2026)

Possibility Semantics
por: Holliday, Wesley H.
Publicado: (2024)

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

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
por: Fusco, Ludovico, et al.
Publicado: (2025)

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
por: Wild, Paul, et al.
Publicado: (2025)

Complexity Classification Transfer for CSPs via Algebraic Products
por: Bodirsky, Manuel, et al.
Publicado: (2022)