Skip to main content
formatting, removed irrelevant tag (certainly doesn't qualify as soft-question, which practically means non-mathematical)
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

what What is the meaning of Liftinglifting property? and some question in $\infty$\infty$-$categorycategory

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$.

  1. 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.
  2. 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?
  3. 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.

what is the meaning of Lifting property? and some question in $\infty-$category

This is a Soft question.When I learn model category, the important compute tool is Lifting property between $(Cof, Fib \cap W)$ and $(Cof \cap W, Fib) $,W is class of weak equivalence.This means for commutative diagram which vertical map are f,g, $f \in \operatorname{Cof}$,$g \in \operatorname{fib}\cap W$.So in localization of C by W,we must have this filler of f,g.

  1. so my first question is why we need filler of g,f in localization of C which must exist one in C, this property means what in the category special or in general.
  2. we can regard filler of f,g as every $\Delta^1 \times \Delta^1 \rightarrow N(C),$ which two vertical map are f,g, which is restriction of $\Delta^3 \rightarrow N(C)$. so we say commutative diagram has the structure of the 3-dimension. but in $\infty-$category. we proof many statements relative composition,homotopy using $\operatorname{sk}_1(\Delta^3) \rightarrow X$ in which $d_0(\sigma)$ ,$d_3(\sigma)$ is commute,then $d_1(\sigma)$ iff $d_2(\sigma)$,$\sigma: \Delta^3 \rightarrow X $ by definition of $\infty-$category.so this is also question existing the structure of 3-dimension.I know model category and $\infty-$category using extension in different way. in model category means commutative diagram extension to $\Delta^3$. in $\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-$category. we can extension $x_1 ,x_2$ in $\Delta^3 \rightarrow X$,then we have diagram commutative. this two way i feel some adjoint,but i dont know mean what adjoint. but i know there are some redicular. because $N(C)$ is infinity category.so just is a question of $\operatorname{sk_1}(\Delta^3) \rightarrow X$,here X is just simplicial set. in this morphism  ,this two extension have what relevent?
  3. in my view $\Delta^3$ like association, maybe $\Delta^n$ like higher association. this intuition is true? if it is true what is special describtion.

What is the meaning of lifting property? and some question in $\infty$-category

When I learn model category, the important compute tool is the lifting property between $(\operatorname{Cof}, \operatorname{Fib} \cap W)$ and $(\operatorname{Cof} \cap W, \operatorname{Fib}) $, where $W$ is class of weak equivalence. This means for commutative diagram whose vertical map are $f$, $g$, $f \in \operatorname{Cof}$, $g \in \operatorname{Fib}\cap W$. So in localization of $C$ by $W$, we must have this filler of $f$, $g$.

  1. so my first question is why we need filler of $g$, $f$ in localization of $C$ which must exist one in $C$, this property means what in the category special or in general.
  2. we can regard filler of $f$, $g$ as every $\Delta^1 \times \Delta^1 \rightarrow N(C)$, which two vertical map are $f$, $g$, which is restriction of $\Delta^3 \rightarrow N(C)$. So we say commutative diagram has the structure of the 3-dimension. but in $\infty$-category. we proof many statements relative composition, homotopy using $\operatorname{sk}_1(\Delta^3) \rightarrow X$ in which $d_0(\sigma)$ ,  $d_3(\sigma)$ is commute, then $d_1(\sigma)$ iff $d_2(\sigma)$,  $\sigma: \Delta^3 \rightarrow X $ by definition of $\infty$-category. So this is also question existing the structure of 3-dimension.I know model category and $\infty$-category using extension in different way. in model category means commutative diagram extension to $\Delta^3$. in $\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$-category. we can extension $x_1 ,x_2$ in $\Delta^3 \rightarrow X$, then we have diagram commutative. this two way i feel some adjoint, but I don't know mean what adjoint. But I know there are some redicular. because $N(C)$ is infinity category. So just is a question of $\operatorname{sk_1}(\Delta^3) \rightarrow X$ where X is just simplicial set. in this morphism, this two extension have what relevant?
  3. in my view $\Delta^3$ like association, maybe $\Delta^n$ like higher association. this intuition is true? if it is true what is special description.
Source Link

what is the meaning of Lifting property? and some question in $\infty-$category

This is a Soft question.When I learn model category, the important compute tool is Lifting property between $(Cof, Fib \cap W)$ and $(Cof \cap W, Fib) $,W is class of weak equivalence.This means for commutative diagram which vertical map are f,g, $f \in \operatorname{Cof}$,$g \in \operatorname{fib}\cap W$.So in localization of C by W,we must have this filler of f,g.

  1. so my first question is why we need filler of g,f in localization of C which must exist one in C, this property means what in the category special or in general.
  2. we can regard filler of f,g as every $\Delta^1 \times \Delta^1 \rightarrow N(C),$ which two vertical map are f,g, which is restriction of $\Delta^3 \rightarrow N(C)$. so we say commutative diagram has the structure of the 3-dimension. but in $\infty-$category. we proof many statements relative composition,homotopy using $\operatorname{sk}_1(\Delta^3) \rightarrow X$ in which $d_0(\sigma)$ ,$d_3(\sigma)$ is commute,then $d_1(\sigma)$ iff $d_2(\sigma)$,$\sigma: \Delta^3 \rightarrow X $ by definition of $\infty-$category.so this is also question existing the structure of 3-dimension.I know model category and $\infty-$category using extension in different way. in model category means commutative diagram extension to $\Delta^3$. in $\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-$category. we can extension $x_1 ,x_2$ in $\Delta^3 \rightarrow X$,then we have diagram commutative. this two way i feel some adjoint,but i dont know mean what adjoint. but i know there are some redicular. because $N(C)$ is infinity category.so just is a question of $\operatorname{sk_1}(\Delta^3) \rightarrow X$,here X is just simplicial set. in this morphism ,this two extension have what relevent?
  3. in my view $\Delta^3$ like association, maybe $\Delta^n$ like higher association. this intuition is true? if it is true what is special describtion.