A cubical model for $(\infty, n)$-categories

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Campion, Tim, Kapulkin, Chris, Maehara, Yuki
Format: Preprint
Published: 2020
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866912777501671424
author Campion, Tim
Kapulkin, Chris
Maehara, Yuki
author_facet Campion, Tim
Kapulkin, Chris
Maehara, Yuki
contents We propose a new model for the theory of $(\infty,n)$-categories (including the case $n=\infty$) in the category of marked cubical sets with connections, similar in flavor to complicial sets of Verity. The model structure characterizing our model is shown to be monoidal with respect to suitably defined (lax and pseudo) Gray tensor products; in particular, these tensor products are both associative and biclosed. Furthermore, we show that the triangulation functor to pre-complicial sets is a left Quillen functor and is strong monoidal with respect to both Gray tensor products.
format Preprint
id arxiv_https___arxiv_org_abs_2005_07603
institution arXiv
publishDate 2020
record_format arxiv
spellingShingle A cubical model for $(\infty, n)$-categories
Campion, Tim
Kapulkin, Chris
Maehara, Yuki
Algebraic Topology
Category Theory
Primary: 55U35, Secondary: 18G55, 55U40
We propose a new model for the theory of $(\infty,n)$-categories (including the case $n=\infty$) in the category of marked cubical sets with connections, similar in flavor to complicial sets of Verity. The model structure characterizing our model is shown to be monoidal with respect to suitably defined (lax and pseudo) Gray tensor products; in particular, these tensor products are both associative and biclosed. Furthermore, we show that the triangulation functor to pre-complicial sets is a left Quillen functor and is strong monoidal with respect to both Gray tensor products.
title A cubical model for $(\infty, n)$-categories
topic Algebraic Topology
Category Theory
Primary: 55U35, Secondary: 18G55, 55U40
url https://arxiv.org/abs/2005.07603