Image de couverture de livre

Insights From Univalent Foundations: A Case Study Using Double Categories

Fuente: arXiv

Enregistré dans:

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

Documents similaires

Univalent Double Categories
par: van der Weide, Niels, et autres
Publié: (2023)

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)

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

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

Category Theory for Programming
par: Ahrens, Benedikt, et autres
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)

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

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
par: Rasekh, Nima
Publié: (2025)

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

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

Comparing semantic frameworks for dependently-sorted algebraic theories
par: Ahrens, Benedikt, et autres
Publié: (2024)

Cosmological Unstraightening
par: Rasekh, Nima
Publié: (2025)

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

Effectivity of Generalized Double $\infty$-Categories
par: Loubaton, Félix
Publié: (2025)

Filter Quotient Model Structures
par: Rasekh, Nima
Publié: (2025)

Double Categories of Open Systems: the Cospan Approach
par: Baez, John C.
Publié: (2025)

2-Functoriality of Initial Semantics, and Applications
par: Ahrens, Benedikt, et autres
Publié: (2025)

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

Non-Standard Models of Homotopy Type Theory
par: Rasekh, Nima
Publié: (2025)

Categorical Diffusion of Weighted Lattices
par: Ghrist, Robert, et autres
Publié: (2025)

Quotient Category of a Multiring Category
par: Zuo, Zhenbang, et autres
Publié: (2024)

A homotopy coherent nerve for $(\infty,n)$-categories
par: Moser, Lyne, et autres
Publié: (2022)

The Strict 2-Category Structure of Distorted Monoidal Categories
par: Higuchi, Joaquim Reizi
Publié: (2025)

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

Partial Linearity in Categories
par: Ferguson, Roy, et autres
Publié: (2026)

Enriched Locally Generated Categories
par: Di Liberti, Ivan, et autres
Publié: (2020)

Categorical Theory of $(\infty,ω)$-Categories
par: Loubaton, Félix
Publié: (2024)

Cohomology of Small Cartesian Closed Categories
par: Ikebuchi, Mirai
Publié: (2025)

From Abelianization to Tangent Categories
par: Ikonicoff, Sacha, et autres
Publié: (2025)

Combs, Causality and Contractions in Atomic Markov Categories
par: Stein, Dario, et autres
Publié: (2024)

Pseudocolimits of Small Filtered Diagrams of Internal Categories
par: Salja, Deni
Publié: (2024)

Classes of Universal Epi- and Monomorphisms in Quasi-Abelian Categories
par: Zinchenko, Max
Publié: (2026)

Composable Uncertainty in Symmetric Monoidal Categories for Design Problems
par: Furter, Marius, et autres
Publié: (2026)

An injective Model for Twisted Derived Categories and Curved Koszul Triality
par: Hoyer, Yannick, et autres
Publié: (2025)

Functor String Diagrams: A Novel Approach to Flexible Diagrams for Applied Category Theory
par: Abbott, Vincent, et autres
Publié: (2024)

Monoidal Relative Categories Model Monoidal $\infty$-Categories
par: Arakawa, Kensuke
Publié: (2025)

Model Category Structure on Simplicial Algebras via Dold-Kan Correspondence
par: Faridian, Hossein
Publié: (2024)