scientific article

zbMath1111.18008MaRDI QIDQ3424496

Denis-Charles Cisinski

Publication date: 19 February 2007

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

test categorylocalizers

Mathematics Subject Classification ID

Related Items (63)

A Quillen's Theorem A for strict $\infty$-categories II: the $\infty$-categorical proof ⋮ The theory of half derivators ⋮ Weakly globular \(\text{cat}^n\)-groups and Tamsamani's model ⋮ Homotopy theory of algebras of substitudes and their localisation ⋮ Simplicial sets inside cubical sets ⋮ A Thomason model structure on the category of small \(n\)-fold categories ⋮ Unnamed Item ⋮ Polynomial monads and delooping of mapping spaces ⋮ A homotopy coherent cellular nerve for bicategories ⋮ Strict \(\infty\)-groupoids are Grothendieck \(\infty\)-groupoids ⋮ Toward weakly enriched categories: co-Segal categories ⋮ Combinatorial and accessible weak model categories ⋮ Cubical models of higher categories without connections ⋮ Model structures for \(( \infty,n)\)-categories on (pre)stratified simplicial sets and prestratified simplicial spaces ⋮ On bifibrations of model categories ⋮ Higher order derived functors and the Adams spectral sequence ⋮ Quasi-2-Segal sets ⋮ On the equivalence of all models for (∞,2)$(\infty,2)$‐categories ⋮ Joyal's category \(\varTheta\) is a test category ⋮ Homotopy groups of cubical sets ⋮ The successive dimension, without elegance ⋮ Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories ⋮ The uniform homotopy category ⋮ Unnamed Item ⋮ Left Bousfield localization without left properness ⋮ Tilting theory for trees via stable homotopy theory ⋮ A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof ⋮ Unnamed Item ⋮ An operadic proof of Baez-Dolan stabilization hypothesis ⋮ Erratum to “Left-determined model categories and universal homotopy theories” ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Mathematical models of abstract systems: knowing abstract geometric forms ⋮ Variations on a theme of homotopy ⋮ Towards a Thomason model structure on the category of strict \(n\)-categories ⋮ Cubical $(\omega,p)$-categories ⋮ A simplicial approach to stratified homotopy theory ⋮ Dendroidal sets ⋮ Homotopy colimits of 2-functors ⋮ Brane actions, categorifications of Gromov-Witten theory and quantum \(K\)-theory ⋮ Equivariant dendroidal sets ⋮ Extending to a model structure is not a first-order property ⋮ Symmetric cubical sets ⋮ The Frobenius condition, right properness, and uniform fibrations ⋮ Localization of enriched categories and cubical sets ⋮ Cubical model categories and quasi-categories ⋮ Catégories dérivables ⋮ Model structures for coalgebras ⋮ \(C^\ast\)-algebraic drawings of dendroidal sets ⋮ Double homotopy (co)limits for relative categories ⋮ Combinatorial topology and constructive mathematics ⋮ Semantics of higher inductive types ⋮ Higher symmetries in abstract stable homotopy theories ⋮ Joyal's cylinder conjecture ⋮ On inner Kan complexes in the category of dendroidal sets ⋮ A Quillen Theorem B for strict ∞‐categories ⋮ The dendroidal category is a test category ⋮ Towards a globular path object for weak \(\infty\)-groupoids ⋮ A co-reflection of cubical sets into simplicial sets with applications to model structures ⋮ Comparison of \(n\)-categorical nerves ⋮ Induced model structures for higher categories ⋮ Cubical approximation for directed topology. I ⋮ Syntax and models of Cartesian cubical type theory

This page was built for publication: