This is a Soft question.WhenWhen I learn model category, the important compute tool is Liftingthe lifting property between $(Cof, Fib \cap W)$$(\operatorname{Cof}, \operatorname{Fib} \cap W)$ and $(Cof \cap W, Fib) $$(\operatorname{Cof} \cap W, \operatorname{Fib}) $,W where $W$ is class of weak equivalence.This This means for commutative diagram whichwhose vertical map are f$f$,g $g$, $f \in \operatorname{Cof}$,$g \in \operatorname{fib}\cap W$ $g \in \operatorname{Fib}\cap W$.So So in localization of C$C$ by W$W$,we we must have this filler of f$f$,g $g$.
- so my first question is why we need filler of g$g$,f $f$ in localization of C$C$ which must exist one in C$C$, this property means what in the category special or in general.
- we can regard filler of f$f$,g $g$ as every $\Delta^1 \times \Delta^1 \rightarrow N(C),$$\Delta^1 \times \Delta^1 \rightarrow N(C)$, which two vertical map are f$f$,g $g$, which is restriction of $\Delta^3 \rightarrow N(C)$. soSo we say commutative diagram has the structure of the 3-dimension. but in $\infty-$$\infty$-category. we proof many statements relative composition,homotopy homotopy using $\operatorname{sk}_1(\Delta^3) \rightarrow X$ in which $d_0(\sigma)$ , $d_3(\sigma)$ is commute,then then $d_1(\sigma)$ iff $d_2(\sigma)$, $\sigma: \Delta^3 \rightarrow X $ by definition of $\infty-$$\infty$-category.so So this is also question existing the structure of 3-dimension.I know model category and $\infty-$$\infty$-category using extension in different way. in model category means commutative diagram extension to $\Delta^3$. in $\infty-$$\infty$-category, i have two $x_1,x_2:\Delta^2 \rightarrow X$ which $d_0 (x_1) = d_2(x_2)$. when $d_0(x_2) \circ d_1(x_1) = d_1 \circ d_2(\sigma)$ this composition in meaning of $\infty-$$\infty$-category. we can extension $x_1 ,x_2$ in $\Delta^3 \rightarrow X$,then then we have diagram commutative. this two way i feel some adjoint,but i dont but I don't know mean what adjoint. but iBut I know there are some redicular. because $N(C)$ is infinity category.so So just is a question of $\operatorname{sk_1}(\Delta^3) \rightarrow X$,here where X is just simplicial set. in this morphism ,this this two extension have what releventrelevant?
- in my view $\Delta^3$ like association, maybe $\Delta^n$ like higher association. this intuition is true? if it is true what is special describtiondescription.