nLab model structure for cubical quasicategories

Redirected from "model structure for cubical quasi-categories".
Contents

Context

Model category theory

model category, model ∞ \infty -category

Definitions

Morphisms

Universal constructions

Refinements

Producing new model structures

Presentation of (∞,1)(\infty,1)-categories

Model structures

for ∞\infty-groupoids

for ∞-groupoids

for equivariant ∞\infty-groupoids

for rational ∞\infty-groupoids

for rational equivariant ∞\infty-groupoids

for nn-groupoids

for ∞\infty-groups

for ∞\infty-algebras

general ∞\infty-algebras

specific ∞\infty-algebras

for stable/spectrum objects

for (∞,1)(\infty,1)-categories

for stable (∞,1)(\infty,1)-categories

for (∞,1)(\infty,1)-operads

for (n,r)(n,r)-categories

for (∞,1)(\infty,1)-sheaves / ∞\infty-stacks

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Contents

Idea

The analogue of the Joyal model structure for cubical sets, with or without connections.

References

With connections (positive, negative, or both):

Without connections:

Last revised on July 12, 2022 at 08:30:27. See the history of this page for a list of all contributions to it.