The following pages link to Homomorphisms of higher categories (Q984873):
Displaying 13 items.
- Algebraic weak factorisation systems. I: Accessible AWFS. (Q886977) (← links)
- Algebraic weak factorisation systems. II: Categories of weak maps. (Q886978) (← links)
- On the construction of functorial factorizations for model categories (Q1948311) (← links)
- The Frobenius condition, right properness, and uniform fibrations (Q2013548) (← links)
- A proof of the existence of Batanin's initial operad (Q2411670) (← links)
- Elimination of quotients in various localisations of premodels into models (Q2413124) (← links)
- Pointed homotopy and pointed lax homotopy of 2-crossed module maps (Q2437546) (← links)
- A category theoretical background for homomorphism theorems (Q3487454) (← links)
- Coherence in Three-Dimensional Category Theory (Q4914615) (← links)
- (Q5048015) (← links)
- Hom weak ω-categories of a weak ω-category (Q5058363) (← links)
- A cubical Squier’s theorem (Q5220186) (← links)
- Computads for weak \(\omega \)-categories as an inductive type (Q6562849) (← links)
