Pages that link to "Item:Q1955710"
From MaRDI portal
The following pages link to Reedy categories and the \(\varTheta\)-construction (Q1955710):
Displayed 15 items.
- Comparison of models for \((\infty , n)\)-categories. I (Q357741) (← links)
- Lifting homotopy \(T\)-algebra maps to strict maps (Q400996) (← links)
- The Frobenius condition, right properness, and uniform fibrations (Q2013548) (← 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)
- The Gray tensor product for 2-quasi-categories (Q2217525) (← links)
- Inner horns for 2-quasi-categories (Q2295476) (← links)
- A type theory for synthetic $\infty$-categories (Q3121017) (← links)
- Weak model categories in classical and constructive mathematics (Q3294961) (← links)
- Constructive sheaf models of type theory (Q5084309) (← links)
- (Q5233741) (← links)
- W-types in homotopy type theory (Q5740651) (← links)
- Univalence for inverse diagrams and homotopy canonicity (Q5740656) (← links)
- The effective model structure and -groupoid objects (Q5866297) (← links)
- Induced model structures for higher categories (Q5869779) (← links)