Buchumschlag

Beyond Eckmann-Hilton: Commutativity in Higher Categories

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Benjamin, Thibaut, Markakis, Ioannis, Offord, Wilfred, Sarti, Chiara, Vicary, Jamie
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Category Theory Logic in Computer Science 18N65, 18N30, 03B38, 68V20
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

CaTT contexts are finite computads
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2024)

Hom $ω$-categories of a computad are free
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2024)

A type-theoretic definition of lax $(\infty,\infty)$-limits
von: Mikhail, Thomas Jan
Veröffentlicht: (2024)

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

Formalizing colimits in Cat
von: Carneiro, Mario, et al.
Veröffentlicht: (2025)

The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
von: van Woerkom, Wijnand, et al.
Veröffentlicht: (2024)

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

Naturality for higher-dimensional path types
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2025)

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

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

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

Formal P-Category Theory and Normalization by Evaluation in Rocq
von: Berry, David G., et al.
Veröffentlicht: (2025)

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

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

Single-set cubical categories and their formalisation with a proof assistant (extended version)
von: Malbos, Philippe, et al.
Veröffentlicht: (2024)

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

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2024)

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

Generating Higher Identity Proofs in Homotopy Type Theory
von: Benjamin, Thibaut
Veröffentlicht: (2024)

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

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

Computads for generalised signatures
von: Markakis, Ioannis
Veröffentlicht: (2023)

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

An Internal Logic of Virtual Double Categories
von: Nasu, Hayato
Veröffentlicht: (2024)

Internal 1-topoi in 2-topoi
von: Helfer, Joseph
Veröffentlicht: (2024)

Cubical coherent confluence, $ω$-groupoids and the cube equation
von: Malbos, Philippe, et al.
Veröffentlicht: (2025)

Polygraphs: From Rewriting to Higher Categories
von: Ara, Dimitri, et al.
Veröffentlicht: (2023)

Familial Monads as Higher Category Theories
von: Shapiro, Brandon
Veröffentlicht: (2021)

Exponentiable functors between synthetic $\infty$-categories
von: Bardomiano-Martínez, César
Veröffentlicht: (2024)

Smooth and Proper Maps
von: Anel, Mathieu, et al.
Veröffentlicht: (2024)

$ω$-weak equivalences between weak $ω$-categories
von: Fujii, Soichiro, et al.
Veröffentlicht: (2024)

Weakly invertible cells in a weak $ω$-category
von: Fujii, Soichiro, et al.
Veröffentlicht: (2023)

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

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

$ω$-equifibrations between strict and weak $ω$-categories
von: Fujii, Soichiro, et al.
Veröffentlicht: (2025)

Logic and Concepts in the 2-category of Topoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2025)

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

Deformation Theory for $(\infty,n)$-categories
von: Kositsyn, Roman
Veröffentlicht: (2025)

Homotopy theory of stricter $n$-categories
von: Chanavat, Clémence
Veröffentlicht: (2025)

Equivalences in diagrammatic sets
von: Chanavat, Clémence, et al.
Veröffentlicht: (2024)