Imagen de Portada

Algebraic Presentations of Type Dependency

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ahrens, Benedikt, Emmenegger, Jacopo, North, Paige Randall, Rijke, Egbert
Formato:	Preprint
Publicado:	2021
Materias:	Category Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Insights From Univalent Foundations: A Case Study Using Double Categories
por: Rasekh, Nima, et al.
Publicado: (2024)

From Semantics to Syntax: A Type Theory for Comprehension Categories
por: Najmaei, Niyousha, et al.
Publicado: (2025)

Univalent Double Categories
por: van der Weide, Niels, et al.
Publicado: (2023)

Functoriality of Enriched Data Types
por: Mulder, Lukas, et al.
Publicado: (2025)

Epimorphisms and Acyclic Types in Univalent Foundations
por: Buchholtz, Ulrik, et al.
Publicado: (2024)

Category Theory for Programming
por: Ahrens, Benedikt, et al.
Publicado: (2022)

Comparing semantic frameworks for dependently-sorted algebraic theories
por: Ahrens, Benedikt, et al.
Publicado: (2024)

Toward the effective 2-topos
por: Awodey, Steve, et al.
Publicado: (2025)

2-Functoriality of Initial Semantics, and Applications
por: Ahrens, Benedikt, et al.
Publicado: (2025)

A Unified Framework for Initial Semantics
por: Lamiaux, Thomas, et al.
Publicado: (2025)

Categorical Diffusion of Weighted Lattices
por: Ghrist, Robert, et al.
Publicado: (2025)

Path Types in Algebraic Type Theory
por: Awodey, Steve, et al.
Publicado: (2026)

A comonad for Grothendieck fibrations
por: Emmenegger, Jacopo, et al.
Publicado: (2023)

Categorical-Algebraic Properties of Lattice-ordered Groups
por: Cappelletti, Andrea
Publicado: (2023)

Algebraic exponentiation and action representability for V-groups
por: Clementino, Maria Manuel, et al.
Publicado: (2026)

Presenting Profunctors
por: Goren-Roig, Gabriel, et al.
Publicado: (2024)

Presenting Neural Networks via Coherent Functors
por: Pugh, Matthew, et al.
Publicado: (2026)

Measuring data types
por: Mulder, Lukas, et al.
Publicado: (2024)

On Monadic Vector-Valued Integration
por: Peterseim, Benedikt
Publicado: (2024)

Algebraic conformal nets, investigation of the locally constant case -- M1 internship supervised by Domenico Fiorenza
por: Moreau, Quentin
Publicado: (2025)

A 2-categorical analysis of context comprehension
por: Coraglia, Greta, et al.
Publicado: (2024)

On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems
por: Forsman, David
Publicado: (2024)

Fibrations in Directed Type Theory
por: Lossin, Benno
Publicado: (2026)

A Model of Type Theory in Groupoid Assemblies
por: Agwu, Anthony
Publicado: (2025)

Dévissage for Algebraic K-theory of Small Stable $\infty$-categories
por: Wei, Chunhui
Publicado: (2026)

Displayed Type Theory and Semi-Simplicial Types
por: Kolomatskaia, Astra, et al.
Publicado: (2023)

Scott's Representation Theorem and the Univalent Karoubi Envelope
por: van der Leer, Arnoud, et al.
Publicado: (2025)

Anick Resolution for Lawvere Theories from Algebraic Discrete Morse Theory
por: Ikebuchi, Mirai
Publicado: (2026)

The Topos of Transformer Networks
por: Villani, Mattia Jacopo, et al.
Publicado: (2024)

Foundations of Substructural Dependent Type Theory
por: Aberlé, C. B.
Publicado: (2024)

Syntax and Semantics of Linear Dependent Types
por: Vákár, Matthijs
Publicado: (2014)

Algebraic Models for Quasi-Coherent Sheaves in Spectral Algebraic Geometry
por: Pratt, Adam
Publicado: (2024)

Impredicativity in Linear Dependent Type Theory
por: Speight, Sam, et al.
Publicado: (2026)

Compositional Program Verification with Polynomial Functors in Dependent Type Theory
por: Aberlé, C. B.
Publicado: (2026)

Continuous Quivers of Type A (IV) Continuous Mutation and Geometric Models of $\mathbf E$-clusters
por: Rock, Job
Publicado: (2020)

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

Envelopes for Algebraic Patterns
por: Barkan, Shaul, et al.
Publicado: (2022)

New model structures for Algebraic Quantum Field Theory
por: Carmona, Victor
Publicado: (2021)

Scoped Effects as Parameterized Algebraic Theories
por: Matache, Cristina, et al.
Publicado: (2024)

For Generalised Algebraic Theories, Two Sorts Are Enough
por: Avrillon, Samy, et al.
Publicado: (2026)