Buchumschlag

Hom $ω$-categories of a computad are free

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Benjamin, Thibaut, Markakis, Ioannis
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Category Theory Logic in Computer Science 18N65, 18M90, 18N30
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)

Beyond Eckmann-Hilton: Commutativity in Higher Categories
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2025)

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

Involutive Weak Cubical $ω$-categories
von: Bejrakarbum, Paratat, et al.
Veröffentlicht: (2025)

Involutive Weak Globular $ω$-categories
von: Bejrakarbum, Paratat, et al.
Veröffentlicht: (2023)

$ω$-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)

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

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

Lax functorialities of the comma construction for $ω$-categories
von: Ara, Dimitri, et al.
Veröffentlicht: (2025)

Transposing cartesian and other structure in double categories
von: Patterson, Evan
Veröffentlicht: (2024)

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

A strengthened $(\infty, n)$-categorical pasting theorem
von: Chanavat, Clémence
Veröffentlicht: (2026)

Model structures for diagrammatic $(\infty, n)$-categories
von: Chanavat, Clémence, et al.
Veröffentlicht: (2024)

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

A model for the coherent walking $ω$-equivalence
von: Hadzihasanovic, Amar, et al.
Veröffentlicht: (2024)

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

Categorical Ambidexterity
von: Ben-Moshe, Shay
Veröffentlicht: (2024)

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

Pointwise Kan extensions along 2-fibrations and the 2-category of elements
von: Mesiti, Luca
Veröffentlicht: (2023)

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

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

Finite Semisimple Module 2-Categories
von: Décoppet, Thibault D.
Veröffentlicht: (2021)

Combinatorics of higher-categorical diagrams
von: Hadzihasanovic, Amar
Veröffentlicht: (2024)

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

On orthogonal factorization systems and double categories
von: Juran, Branko
Veröffentlicht: (2025)

Monoidal bicategories, differential linear logic, and analytic functors
von: Fiore, M., et al.
Veröffentlicht: (2024)

Gray products of diagrammatic $(\infty, n)$-categories
von: Chanavat, Clémence
Veröffentlicht: (2025)

Kleisli categories, T-categories and internal categories
von: Bourn, Dominique
Veröffentlicht: (2024)

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

Diagrammatics for lax and Frobenius monoidal functors and weak morphism classifiers
von: Langlois-Rémillard, Alexis, et al.
Veröffentlicht: (2026)

Double categories of profunctors
von: Kawase, Yuto
Veröffentlicht: (2025)

Higher inductive types in $(\infty,1)$-categories
von: Uemura, Taichi
Veröffentlicht: (2024)

Computads and string diagrams for $n$-sesquicategories
von: Araújo, Manuel
Veröffentlicht: (2022)

Exponentiable virtual double categories and presheaves for double categories
von: Arkor, Nathanael
Veröffentlicht: (2025)

Formal category theory in augmented virtual double categories
von: Koudenburg, Seerp Roald
Veröffentlicht: (2022)

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

A unified treatment of commuting tensor products of categories, operads, symmetric multicategories and their bimodules
von: Gambino, Nicola, et al.
Veröffentlicht: (2025)

Nerves of generalized multicategories
von: Fujii, Soichiro, et al.
Veröffentlicht: (2025)

Universality of span 2-categories and the construction of 6-functor formalisms
von: Cnossen, Bastiaan, et al.
Veröffentlicht: (2025)