Buchumschlag

Algebraic Presentations of Type Dependency

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ahrens, Benedikt, Emmenegger, Jacopo, North, Paige Randall, Rijke, Egbert
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Category Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Insights From Univalent Foundations: A Case Study Using Double Categories
von: Rasekh, Nima, et al.
Veröffentlicht: (2024)

From Semantics to Syntax: A Type Theory for Comprehension Categories
von: Najmaei, Niyousha, et al.
Veröffentlicht: (2025)

Univalent Double Categories
von: van der Weide, Niels, et al.
Veröffentlicht: (2023)

Functoriality of Enriched Data Types
von: Mulder, Lukas, et al.
Veröffentlicht: (2025)

Epimorphisms and Acyclic Types in Univalent Foundations
von: Buchholtz, Ulrik, et al.
Veröffentlicht: (2024)

Category Theory for Programming
von: Ahrens, Benedikt, et al.
Veröffentlicht: (2022)

Comparing semantic frameworks for dependently-sorted algebraic theories
von: Ahrens, Benedikt, et al.
Veröffentlicht: (2024)

Toward the effective 2-topos
von: Awodey, Steve, et al.
Veröffentlicht: (2025)

2-Functoriality of Initial Semantics, and Applications
von: Ahrens, Benedikt, et al.
Veröffentlicht: (2025)

A Unified Framework for Initial Semantics
von: Lamiaux, Thomas, et al.
Veröffentlicht: (2025)

Categorical Diffusion of Weighted Lattices
von: Ghrist, Robert, et al.
Veröffentlicht: (2025)

Path Types in Algebraic Type Theory
von: Awodey, Steve, et al.
Veröffentlicht: (2026)

A comonad for Grothendieck fibrations
von: Emmenegger, Jacopo, et al.
Veröffentlicht: (2023)

Categorical-Algebraic Properties of Lattice-ordered Groups
von: Cappelletti, Andrea
Veröffentlicht: (2023)

Algebraic exponentiation and action representability for V-groups
von: Clementino, Maria Manuel, et al.
Veröffentlicht: (2026)

Presenting Profunctors
von: Goren-Roig, Gabriel, et al.
Veröffentlicht: (2024)

Presenting Neural Networks via Coherent Functors
von: Pugh, Matthew, et al.
Veröffentlicht: (2026)

Measuring data types
von: Mulder, Lukas, et al.
Veröffentlicht: (2024)

On Monadic Vector-Valued Integration
von: Peterseim, Benedikt
Veröffentlicht: (2024)

Algebraic conformal nets, investigation of the locally constant case -- M1 internship supervised by Domenico Fiorenza
von: Moreau, Quentin
Veröffentlicht: (2025)

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

On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems
von: Forsman, David
Veröffentlicht: (2024)

Fibrations in Directed Type Theory
von: Lossin, Benno
Veröffentlicht: (2026)

A Model of Type Theory in Groupoid Assemblies
von: Agwu, Anthony
Veröffentlicht: (2025)

Dévissage for Algebraic K-theory of Small Stable $\infty$-categories
von: Wei, Chunhui
Veröffentlicht: (2026)

Displayed Type Theory and Semi-Simplicial Types
von: Kolomatskaia, Astra, et al.
Veröffentlicht: (2023)

Scott's Representation Theorem and the Univalent Karoubi Envelope
von: van der Leer, Arnoud, et al.
Veröffentlicht: (2025)

Anick Resolution for Lawvere Theories from Algebraic Discrete Morse Theory
von: Ikebuchi, Mirai
Veröffentlicht: (2026)

The Topos of Transformer Networks
von: Villani, Mattia Jacopo, et al.
Veröffentlicht: (2024)

Foundations of Substructural Dependent Type Theory
von: Aberlé, C. B.
Veröffentlicht: (2024)

Syntax and Semantics of Linear Dependent Types
von: Vákár, Matthijs
Veröffentlicht: (2014)

Algebraic Models for Quasi-Coherent Sheaves in Spectral Algebraic Geometry
von: Pratt, Adam
Veröffentlicht: (2024)

Impredicativity in Linear Dependent Type Theory
von: Speight, Sam, et al.
Veröffentlicht: (2026)

Compositional Program Verification with Polynomial Functors in Dependent Type Theory
von: Aberlé, C. B.
Veröffentlicht: (2026)

Continuous Quivers of Type A (IV) Continuous Mutation and Geometric Models of $\mathbf E$-clusters
von: Rock, Job
Veröffentlicht: (2020)

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

Envelopes for Algebraic Patterns
von: Barkan, Shaul, et al.
Veröffentlicht: (2022)

New model structures for Algebraic Quantum Field Theory
von: Carmona, Victor
Veröffentlicht: (2021)

Scoped Effects as Parameterized Algebraic Theories
von: Matache, Cristina, et al.
Veröffentlicht: (2024)

For Generalised Algebraic Theories, Two Sorts Are Enough
von: Avrillon, Samy, et al.
Veröffentlicht: (2026)