Cover Image

Internal Categoricity and the Generic Multiverse

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Meadows, Toby
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Found in Translation: at the limits of the Hudetz program
by: Meadows, Toby
Published: (2025)

Foundations with Imagination
by: Meadows, Toby
Published: (2026)

Teasing apart definitional equivalence
by: Chen, Jason, et al.
Published: (2025)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)

Categorical Proof-Theoretic Semantics
by: Pym, David, et al.
Published: (2023)

Categoricity without Power
by: Goh, Jun Le, et al.
Published: (2026)

Counting in Uncountably Categorical Pseudofinite Structures
by: Van Abel, Alexander
Published: (2021)

Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"
by: Enayat, Ali, et al.
Published: (2026)

Categorical generalization of spectral decomposition
by: Nishizawa, Koki, et al.
Published: (2025)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
by: Lyon, Tim S., et al.
Published: (2023)

A Categorical Foundation of Rough Sets
by: Kakutani, Yoshihiko
Published: (2025)

On Complete Categorical Semantics for Effect Handlers
by: Kura, Satoshi
Published: (2026)

Proof Identity and Categorical Models of BV
by: Acclavio, Matteo, et al.
Published: (2026)

A Categorical Approach to DIBI Models
by: Gu, Tao, et al.
Published: (2024)

Strategies as Resource Terms, and their Categorical Semantics
by: Blondeau-Patissier, Lison, et al.
Published: (2023)

A Categorical Semantics for Linear Logical Frameworks
by: Vákár, Matthijs
Published: (2015)

A Categorical Approach to Coalgebraic Fixpoint Logic
by: Schoen, Ezra, et al.
Published: (2024)

A Unifying Categorical View of Nondeterministic Iteration and Tests
by: Goncharov, Sergey, et al.
Published: (2024)

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
by: Rogozin, Daniel
Published: (2025)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
by: Asor, Ohad
Published: (2026)

The Sup Connective in IMALL: A Categorical Semantics
by: Díaz-Caro, Alejandro, et al.
Published: (2022)

Categorical Construction of Logically Verifiable Neural Architectures
by: Nye, Logan
Published: (2025)

A Simple Categorical Calculus of Interacting Processes
by: Nester, Chad, et al.
Published: (2026)

Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving
by: Bembenek, Aaron, et al.
Published: (2026)

Categorical Data Structures for Technical Computing
by: Patterson, Evan, et al.
Published: (2021)

A Categorical Framework for Modeling with Stock and Flow Diagrams
by: Baez, John C., et al.
Published: (2022)

Nominal Type Theory by Nullary Internal Parametricity
by: Van Muylder, Antoine, et al.
Published: (2025)

A Logic of Sattestation
by: Jaggard, Aaron D., et al.
Published: (2024)

The Internal Logic and Finite Colimits
by: Troiani, William
Published: (2025)

A Categorical Treatment of Open Linear Systems
by: Stein, Dario, et al.
Published: (2024)

A New Tractable Description Logic under Categorical Semantics
by: Duc, Chan Le, et al.
Published: (2025)

Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality
by: McPheat, Lachlan, et al.
Published: (2020)

Generalized Decidability via Brouwer Trees
by: de Jong, Tom, et al.
Published: (2026)

Internalizing Representation Independence with Univalence
by: Angiuli, Carlo, et al.
Published: (2020)

An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

A General (Uniform) Relational Semantics for Sentential Logics
by: Hartonas, Chrysafis
Published: (2025)

Some General Completeness Results for Propositionally Quantified Modal Logics
by: Ding, Yifeng, et al.
Published: (2024)

Machine-Checked Categorical Diagrammatic Reasoning
by: Guillemet, Benoît, et al.
Published: (2024)

Generic Generators
by: Sargsyan, Grigor
Published: (2023)