Image de couverture de livre

Univalent Double Categories

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	van der Weide, Niels, Rasekh, Nima, Ahrens, Benedikt, North, Paige Randall
Format:	Preprint
Publié:	2023
Sujets:	Category Theory Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Insights From Univalent Foundations: A Case Study Using Double Categories
par: Rasekh, Nima, et autres
Publié: (2024)

From Semantics to Syntax: A Type Theory for Comprehension Categories
par: Najmaei, Niyousha, et autres
Publié: (2025)

Univalent Enriched Categories and the Enriched Rezk Completion
par: van der Weide, Niels
Publié: (2024)

The Formal Theory of Monads, Univalently
par: van der Weide, Niels
Publié: (2022)

The internal languages of univalent categories
par: van der Weide, Niels
Publié: (2024)

The Rezk Completion for Elementary Topoi
par: Wullaert, Kobe, et autres
Publié: (2026)

Scott's Representation Theorem and the Univalent Karoubi Envelope
par: van der Leer, Arnoud, et autres
Publié: (2025)

(Pointed) Univalence in Universe Category Models of Type Theory
par: Kapulkin, Chris, et autres
Publié: (2025)

Impredicativity in Linear Dependent Type Theory
par: Speight, Sam, et autres
Publié: (2026)

Functoriality of Enriched Data Types
par: Mulder, Lukas, et autres
Publié: (2025)

A Unified Framework for Initial Semantics
par: Lamiaux, Thomas, et autres
Publié: (2025)

Epimorphisms and Acyclic Types in Univalent Foundations
par: Buchholtz, Ulrik, et autres
Publié: (2024)

Linear Arboreal Categories
par: Abramsky, Samson, et autres
Publié: (2023)

On the Axioms of Arboreal Categories
par: Jakl, Tomáš, et autres
Publié: (2026)

Arboreal Categories: An Axiomatic Theory of Resources
par: Abramsky, Samson, et autres
Publié: (2021)

Classical Distributive Restriction Categories
par: Cockett, Robin, et autres
Publié: (2023)

Elgot Categories and Abacus Programs
par: Nester, Chad
Publié: (2025)

Coinductive Streams in Monoidal Categories
par: Di Lavore, Elena, et autres
Publié: (2022)

The Category of Operator Spaces and Complete Contractions
par: Lindenhovius, Bert, et autres
Publié: (2024)

Promonads and String Diagrams for Effectful Categories
par: Román, Mario
Publié: (2022)

Timing via Pinwheel Double Categories
par: Di Lavore, Elena, et autres
Publié: (2025)

Synthetic 1-Categories in Directed Type Theory
par: Altenkirch, Thorsten, et autres
Publié: (2024)

String Diagrams for Closed Symmetric Monoidal Categories
par: Reader, Callum, et autres
Publié: (2025)

A Syntax for Strictly Associative and Unital $\infty$-Categories
par: Finster, Eric, et autres
Publié: (2023)

Evidential Decision Theory via Partial Markov Categories
par: Di Lavore, Elena, et autres
Publié: (2023)

On The Axioms Of $\mathcal{M},\mathcal{N}$-Adhesive Categories
par: Castelnovo, Davide, et autres
Publié: (2024)

Proceedings Eighth International Conference on Applied Category Theory
par: Hadzihasanovic, Amar, et autres
Publié: (2026)

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
par: Milosavljevic, Aleksandar, et autres
Publié: (2022)

Protocol Choice and Iteration for the Free Cornering
par: Nester, Chad, et autres
Publié: (2023)

Dynamics and Coherence for the Free Cornering with Protocol Choice
par: Nester, Chad, et autres
Publié: (2025)

A Simple Categorical Calculus of Interacting Processes
par: Nester, Chad, et autres
Publié: (2026)

Intrinsically Correct Sorting in Cubical Agda
par: Alexandru, Cass, et autres
Publié: (2024)

Algebraic Presentations of Type Dependency
par: Ahrens, Benedikt, et autres
Publié: (2021)

Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem
par: Barile, Adriano, et autres
Publié: (2024)

Double Glueing over Free Exponential: with Measure Theoretic Applications
par: Hamano, Masahiro
Publié: (2021)

Left-Linear Rewriting in Adhesive Categories
par: Baldan, Paolo, et autres
Publié: (2024)

Manifold Diagrams for Higher Categories
par: Heidemann, Lukas
Publié: (2024)

A BV-Category of Spacetime Interventions
par: Hefford, James, et autres
Publié: (2025)

Notes on Category Theory with examples from basic mathematics
par: Perrone, Paolo
Publié: (2019)

Representing Knowledge and Querying Data using Double-Functorial Semantics
par: Lambert, Michael, et autres
Publié: (2024)