Buchumschlag

A 2-categorical approach to the semantics of dependent type theory with computation axioms

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Spadetto, Matteo
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic Logic in Computer Science Category Theory 03F50, 03G30, 18C10, 03B38, 03B70, 18N45, 18D30, 55U35, 55U40
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

On the $\infty$-topos semantics of homotopy type theory
von: Riehl, Emily
Veröffentlicht: (2022)

A 2-categorical proof of Frobenius for fibrations defined from a generic point
von: Hazratpour, Sina, et al.
Veröffentlicht: (2022)

Projective Presentations of Lex Modalities
von: Williams, Mark Damuni
Veröffentlicht: (2025)

Generalized Chevalley criteria in simplicial homotopy type theory
von: Weinberger, Jonathan
Veröffentlicht: (2024)

Synthetic perspectives on spaces and categories
von: Riehl, Emily
Veröffentlicht: (2025)

The Yoneda embedding in simplicial type theory
von: Gratzer, Daniel, et al.
Veröffentlicht: (2025)

Directed univalence in simplicial homotopy type theory
von: Gratzer, Daniel, et al.
Veröffentlicht: (2024)

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

Internal sums for synthetic fibered $(\infty,1)$-categories
von: Weinberger, Jonathan
Veröffentlicht: (2022)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
von: Weinberger, Jonathan
Veröffentlicht: (2022)

Non-accessible localizations
von: Christensen, J. Daniel
Veröffentlicht: (2021)

Non-Standard Models of Homotopy Type Theory
von: Rasekh, Nima
Veröffentlicht: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
von: Rasekh, Nima
Veröffentlicht: (2025)

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

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

The elementary theory of the 2-category of small categories
von: Hughes, Calum, et al.
Veröffentlicht: (2024)

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

A minimalist two-level foundation for constructive mathematics
von: Maietti, Maria Emilia
Veröffentlicht: (2008)

The Simplicial Model of Univalent Foundations (after Voevodsky)
von: Kapulkin, Chris, et al.
Veröffentlicht: (2012)

Extensional concepts in intensional type theory, revisited
von: Kapulkin, Chris, et al.
Veröffentlicht: (2023)

The algebraic internal groupoid model of Martin-Löf type theory
von: Hughes, Calum
Veröffentlicht: (2025)

Problems with fixpoints of polynomials of polynomials
von: Pradic, Cécilia, et al.
Veröffentlicht: (2026)

Logical Structure on Inverse Functor Categories
von: Fiore, Marcelo, et al.
Veröffentlicht: (2024)

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

Algebraic Type Theory, Part 1: Martin-Löf algebras
von: Awodey, Steve
Veröffentlicht: (2025)

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

A 2-categorical analysis of context comprehension
von: Coraglia, Greta, et al.
Veröffentlicht: (2024)

The modal theory of the category of sets
von: Wołoszyn, Wojciech Aleksander
Veröffentlicht: (2026)

On logical parameterizations and functional representability in local set theories
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2021)

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

Dependent Types Simplified
von: Bice, Tristan
Veröffentlicht: (2025)

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

The Sup Connective in IMALL: A Categorical Semantics
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2022)

Topoi with enough points
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2024)

Large cardinals beyond HOD
von: Aguilera, Juan Pablo, et al.
Veröffentlicht: (2025)

A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
von: Lambert, Michael J.
Veröffentlicht: (2024)

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

On a fibrational construction for optics, lenses, and Dialectica categories
von: Capucci, Matteo, et al.
Veröffentlicht: (2024)

Gödel coding on fibrations and geminal categories
von: Ikeda, Yuto
Veröffentlicht: (2026)