Rigidification of higher categorical structures

DOI10.2140/AGT.2016.16.3533MaRDI QIDQ728324zbMATH OpenOpenAlexFDO

Authors Giovanni Caviglia, Geoffroy Horel

Publication date 20 December 2016

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1511.01119

zbMATH Keywords

internal \(n\)-categoriesinternal operadslimit sketchesmodel categories

Mathematics Subject Classification ID

Sketches and generalizations (18C30) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: Given a limit sketch in which the cones have a finite connected base, we show that a model structure of "up to homotopy" models for this limit sketch in a suitable model category can be transferred to a Quillen equivalent model structure on the category of strict models. As a corollary of our general result, we obtain a rigidification theorem which asserts in particular that any $Thet{a}_n$-space in the sense of Rezk is levelwise equivalent to one that satisfies the Segal conditions on the nose. There are similar results for dendroidal spaces and $n$-fold Segal spaces.

Review text

The authors prove a rigidification theorem for the category of models of a limit sketch in which the cones have a finite connected base. They show that a model structure of ``up to homotopy models for this limit sketch in a suitable model category can be transferred to a Quillen-equivalent model structure on the category of strict models. As a corollary of the general result, they obtain a rigidification theorem which asserts in particular that any \(n\)-space in the sense of Rezk is levelwise equivalent to one that satisfies the Segal conditions. There are similar results for dendroidal spaces and \(n\)-fold Segal spaces.

Recommendations

• Rigidification of algebras over essentially algebraic~theories
• Towards a Thomason model structure on the category of strict \(n\)-categories
• Rigidification of quasi-categories
• Rigidification of homotopy algebras over finite product sketches
• A Cartesian presentation of weak \(n\)-categories

Cited in

(9)

• A note on the \((\infty,n)\)-category of cobordisms
• Relative rigid objects in extriangulated categories
• Graphical combinatorics and a distributive law for modular operads
• Rigidification of homotopy algebras over finite product sketches
• Formalizing Restriction Categories
• On dualizability of braided tensor categories
• Rigidification of quasi-categories
• Rigidification of cubical quasicategories
• Rigidification of algebras over multi-sorted theories

This page was built for publication: Rigidification of higher categorical structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q728324)