The following pages link to (Q3424496):
Displaying 50 items.
- Strict \(\infty\)-groupoids are Grothendieck \(\infty\)-groupoids (Q392224) (← links)
- Toward weakly enriched categories: co-Segal categories (Q393527) (← links)
- Higher order derived functors and the Adams spectral sequence (Q404364) (← links)
- Homotopy colimits of 2-functors (Q504533) (← links)
- Symmetric cubical sets (Q531321) (← links)
- A Thomason model structure on the category of small \(n\)-fold categories (Q600804) (← links)
- Joyal's category \(\varTheta\) is a test category (Q626737) (← links)
- Weakly globular \(\text{cat}^n\)-groups and Tamsamani's model (Q838142) (← links)
- Tilting theory for trees via stable homotopy theory (Q908330) (← links)
- On inner Kan complexes in the category of dendroidal sets (Q1016475) (← links)
- A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof (Q1705469) (← links)
- Brane actions, categorifications of Gromov-Witten theory and quantum \(K\)-theory (Q1746316) (← links)
- Equivariant dendroidal sets (Q1748437) (← links)
- Combinatorial topology and constructive mathematics (Q1788338) (← links)
- Extending to a model structure is not a first-order property (Q1998990) (← links)
- The Frobenius condition, right properness, and uniform fibrations (Q2013548) (← links)
- Joyal's cylinder conjecture (Q2048611) (← links)
- Comparison of \(n\)-categorical nerves (Q2106580) (← links)
- The theory of half derivators (Q2135732) (← links)
- Polynomial monads and delooping of mapping spaces (Q2180250) (← links)
- A homotopy coherent cellular nerve for bicategories (Q2180894) (← links)
- Model structures for \(( \infty,n)\)-categories on (pre)stratified simplicial sets and prestratified simplicial spaces (Q2187736) (← links)
- On bifibrations of model categories (Q2189485) (← links)
- \(C^\ast\)-algebraic drawings of dendroidal sets (Q2279050) (← links)
- Towards a globular path object for weak \(\infty\)-groupoids (Q2318409) (← links)
- A co-reflection of cubical sets into simplicial sets with applications to model structures (Q2329069) (← links)
- Cubical approximation for directed topology. I (Q2350094) (← links)
- Mathematical models of abstract systems: knowing abstract geometric forms (Q2448534) (← links)
- Variations on a theme of homotopy (Q2448536) (← links)
- Towards a Thomason model structure on the category of strict \(n\)-categories (Q2450113) (← links)
- Dendroidal sets (Q2464800) (← links)
- Combinatorial and accessible weak model categories (Q2674539) (← links)
- Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories (Q2687342) (← links)
- Model structures for coalgebras (Q2790256) (← links)
- An operadic proof of Baez-Dolan stabilization hypothesis (Q2980801) (← links)
- Catégories dérivables (Q3056513) (← links)
- Cubical $(\omega,p)$-categories (Q3121024) (← links)
- Erratum to “Left-determined model categories and universal homotopy theories” (Q3532563) (← links)
- Double homotopy (co)limits for relative categories (Q4686806) (← links)
- Semantics of higher inductive types (Q4958656) (← links)
- Higher symmetries in abstract stable homotopy theories (Q4965244) (← links)
- A Quillen Theorem B for strict ∞‐categories (Q4973666) (← links)
- (Q5004676) (← links)
- Syntax and models of Cartesian cubical type theory (Q5022926) (← links)
- Homotopy theory of algebras of substitudes and their localisation (Q5067624) (← links)
- Cubical model categories and quasi-categories (Q5112053) (← links)
- A simplicial approach to stratified homotopy theory (Q5143150) (← links)
- A Quillen's Theorem A for strict $\infty$-categories II: the $\infty$-categorical proof (Q5217593) (← links)
- The dendroidal category is a test category (Q5225813) (← links)
- Localization of enriched categories and cubical sets (Q5364139) (← links)