Mixing
Commutativity up to homotopy implies strict commutativity, for lifting problems
Clash Royale CLAN TAG#URR8PPP
up vote
3
down vote
favorite
Suppose we have a commutative diagram
$requireAMScd$
beginCD
A @>>> X \
@VVV & @VVV \
W @>>> Y\
endCD
where the map $Arightarrow W$ is a cofibration and the map $Xrightarrow Y$ is a fibration. Suppose also that there exists a map $Wrightarrow X$ that makes the diagram commute up to homotopy.
Is then true that we can find a map $Wrightarrow X$ that makes the diagram strictly commute?
at.algebraic-topology homotopy-theory
edited 1 hour ago
David White
10.9k45998
asked 3 hours ago
Diego95
361
New contributor
Diego95 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
add a comment |Â
up vote
3
down vote
favorite
Suppose we have a commutative diagram
$requireAMScd$
beginCD
A @>>> X \
@VVV & @VVV \
W @>>> Y\
endCD
where the map $Arightarrow W$ is a cofibration and the map $Xrightarrow Y$ is a fibration. Suppose also that there exists a map $Wrightarrow X$ that makes the diagram commute up to homotopy.
Is then true that we can find a map $Wrightarrow X$ that makes the diagram strictly commute?
at.algebraic-topology homotopy-theory
edited 1 hour ago
David White
10.9k45998
asked 3 hours ago
Diego95
361
New contributor
Diego95 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
2
What setting are you working in — an arbitrary Quillen model category? a specific notion of “fibrationâ€Â/“cofibration†in $Top$, or some well-behaved subcategory thereof?
– Peter LeFanu Lumsdaine
2 hours ago
1
I'm working in Top category, more precisely $(W, A) $ is a CW-pair, but I'm not sure whether this hypothesis is necessary.
– Diego95
1 hour ago
add a comment |Â
up vote
3
down vote
favorite
up vote
3
down vote
favorite
Suppose we have a commutative diagram
$requireAMScd$
beginCD
A @>>> X \
@VVV & @VVV \
W @>>> Y\
endCD
where the map $Arightarrow W$ is a cofibration and the map $Xrightarrow Y$ is a fibration. Suppose also that there exists a map $Wrightarrow X$ that makes the diagram commute up to homotopy.
Is then true that we can find a map $Wrightarrow X$ that makes the diagram strictly commute?
at.algebraic-topology homotopy-theory
edited 1 hour ago
David White
10.9k45998
asked 3 hours ago
Diego95
361
New contributor
Diego95 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
Suppose we have a commutative diagram
$requireAMScd$
beginCD
A @>>> X \
@VVV & @VVV \
W @>>> Y\
endCD
where the map $Arightarrow W$ is a cofibration and the map $Xrightarrow Y$ is a fibration. Suppose also that there exists a map $Wrightarrow X$ that makes the diagram commute up to homotopy.
Is then true that we can find a map $Wrightarrow X$ that makes the diagram strictly commute?
at.algebraic-topology homotopy-theory
at.algebraic-topology homotopy-theory
edited 1 hour ago
David White
10.9k45998
asked 3 hours ago
Diego95
361
New contributor
Diego95 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
edited 1 hour ago
David White
10.9k45998
asked 3 hours ago
Diego95
361
New contributor
Diego95 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
edited 1 hour ago
David White
10.9k45998
edited 1 hour ago
David White
10.9k45998
edited 1 hour ago
David White
10.9k45998
10.9k45998
asked 3 hours ago
Diego95
361
New contributor
Diego95 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
asked 3 hours ago
Diego95
361
asked 3 hours ago
Diego95
361
361
New contributor
Diego95 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
New contributor
Diego95 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
Diego95 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
2
What setting are you working in — an arbitrary Quillen model category? a specific notion of “fibrationâ€Â/“cofibration†in $Top$, or some well-behaved subcategory thereof?
– Peter LeFanu Lumsdaine
2 hours ago
1
I'm working in Top category, more precisely $(W, A) $ is a CW-pair, but I'm not sure whether this hypothesis is necessary.
– Diego95
1 hour ago
add a comment |Â
2
What setting are you working in — an arbitrary Quillen model category? a specific notion of “fibrationâ€Â/“cofibration†in $Top$, or some well-behaved subcategory thereof?
– Peter LeFanu Lumsdaine
2 hours ago
1
I'm working in Top category, more precisely $(W, A) $ is a CW-pair, but I'm not sure whether this hypothesis is necessary.
– Diego95
1 hour ago
2
2
What setting are you working in — an arbitrary Quillen model category? a specific notion of “fibrationâ€Â/“cofibration†in $Top$, or some well-behaved subcategory thereof?
– Peter LeFanu Lumsdaine
2 hours ago
What setting are you working in — an arbitrary Quillen model category? a specific notion of “fibrationâ€Â/“cofibration†in $Top$, or some well-behaved subcategory thereof?
– Peter LeFanu Lumsdaine
2 hours ago
1
1
I'm working in Top category, more precisely $(W, A) $ is a CW-pair, but I'm not sure whether this hypothesis is necessary.
– Diego95
1 hour ago
I'm working in Top category, more precisely $(W, A) $ is a CW-pair, but I'm not sure whether this hypothesis is necessary.
– Diego95
1 hour ago
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
4
down vote
I believe the answer is yes. The kind of lift you're asking about was studied extensively in the paper "On Fibrant objects in model categories" by Valery Isaev. Apply Proposition 3.4, with $I = A to W$. Then, because $f:Xto Y$ is a fibration, it has RLP with respect to $J_I$, because $J_I$ consists of trivial cofibrations. Hence, Proposition 3.4 says that, having RLP up to relative homotopy with respect to $I$ implies $f$ has RLP with respect to $I$, as you desire.
There may be older or more elementary proofs of this fact, but Isaev's paper is what sprung to mind. Also, it works in much more general settings than Top, and you might find lots of useful facts in it, for whatever you're working on.
answered 1 hour ago
David White
10.9k45998
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
4
down vote
I believe the answer is yes. The kind of lift you're asking about was studied extensively in the paper "On Fibrant objects in model categories" by Valery Isaev. Apply Proposition 3.4, with $I = A to W$. Then, because $f:Xto Y$ is a fibration, it has RLP with respect to $J_I$, because $J_I$ consists of trivial cofibrations. Hence, Proposition 3.4 says that, having RLP up to relative homotopy with respect to $I$ implies $f$ has RLP with respect to $I$, as you desire.
There may be older or more elementary proofs of this fact, but Isaev's paper is what sprung to mind. Also, it works in much more general settings than Top, and you might find lots of useful facts in it, for whatever you're working on.
answered 1 hour ago
David White
10.9k45998
add a comment |Â
up vote
4
down vote
I believe the answer is yes. The kind of lift you're asking about was studied extensively in the paper "On Fibrant objects in model categories" by Valery Isaev. Apply Proposition 3.4, with $I = A to W$. Then, because $f:Xto Y$ is a fibration, it has RLP with respect to $J_I$, because $J_I$ consists of trivial cofibrations. Hence, Proposition 3.4 says that, having RLP up to relative homotopy with respect to $I$ implies $f$ has RLP with respect to $I$, as you desire.
There may be older or more elementary proofs of this fact, but Isaev's paper is what sprung to mind. Also, it works in much more general settings than Top, and you might find lots of useful facts in it, for whatever you're working on.
answered 1 hour ago
David White
10.9k45998
add a comment |Â
up vote
4
down vote
up vote
4
down vote
I believe the answer is yes. The kind of lift you're asking about was studied extensively in the paper "On Fibrant objects in model categories" by Valery Isaev. Apply Proposition 3.4, with $I = A to W$. Then, because $f:Xto Y$ is a fibration, it has RLP with respect to $J_I$, because $J_I$ consists of trivial cofibrations. Hence, Proposition 3.4 says that, having RLP up to relative homotopy with respect to $I$ implies $f$ has RLP with respect to $I$, as you desire.
There may be older or more elementary proofs of this fact, but Isaev's paper is what sprung to mind. Also, it works in much more general settings than Top, and you might find lots of useful facts in it, for whatever you're working on.
answered 1 hour ago
David White
10.9k45998
I believe the answer is yes. The kind of lift you're asking about was studied extensively in the paper "On Fibrant objects in model categories" by Valery Isaev. Apply Proposition 3.4, with $I = A to W$. Then, because $f:Xto Y$ is a fibration, it has RLP with respect to $J_I$, because $J_I$ consists of trivial cofibrations. Hence, Proposition 3.4 says that, having RLP up to relative homotopy with respect to $I$ implies $f$ has RLP with respect to $I$, as you desire.
There may be older or more elementary proofs of this fact, but Isaev's paper is what sprung to mind. Also, it works in much more general settings than Top, and you might find lots of useful facts in it, for whatever you're working on.
answered 1 hour ago
David White
10.9k45998
answered 1 hour ago
David White
10.9k45998
answered 1 hour ago
David White
10.9k45998
answered 1 hour ago
David White
10.9k45998
10.9k45998
add a comment |Â
add a comment |Â
Diego95 is a new contributor. Be nice, and check out our Code of Conduct.
Diego95 is a new contributor. Be nice, and check out our Code of Conduct.
Diego95 is a new contributor. Be nice, and check out our Code of Conduct.
Diego95 is a new contributor. Be nice, and check out our Code of Conduct.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f312378%2fcommutativity-up-to-homotopy-implies-strict-commutativity-for-lifting-problems%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
2
What setting are you working in — an arbitrary Quillen model category? a specific notion of “fibrationâ€Â/“cofibration†in $Top$, or some well-behaved subcategory thereof?
– Peter LeFanu Lumsdaine
2 hours ago
1
I'm working in Top category, more precisely $(W, A) $ is a CW-pair, but I'm not sure whether this hypothesis is necessary.
– Diego95
1 hour ago