If matching maps of a cosimplicial space are fibrations up to degree $n$, does the $n$-th partial totalization have the 'correct' homotopy type?Why is Top a model category?Fat geometric realization weakly equivalent to the usual oneGeometric realization of function complexes of simplicial setsHomotopy type vs. weak homotopy type, and repercussions for EGWhy aren't *weak* test categories enough?Functorial cofibrant replacement does not have to be fibration?Is there a sensible way to form the geometric realization of a “simplicial space up to homotopy”?Do Homotopy limits commute with right Quillen functorsUnderlying quasicategory of a model category through framings?Weak homotopy equivalence induces isomorpism of sets of homotopy classes?
What exploit Are these user agents trying to use?
How much of data wrangling is a data scientist's job?
What type of content (depth/breadth) is expected for a short presentation for Asst Professor interview in the UK?
Is this a hacking script in function.php?
What about the virus in 12 Monkeys?
Why would the Red Woman birth a shadow if she worshipped the Lord of the Light?
Detention in 1997
What are some good books on Machine Learning and AI like Krugman, Wells and Graddy's "Essentials of Economics"
Why can't we play rap on piano?
I would say: "You are another teacher", but she is a woman and I am a man
How can saying a song's name be a copyright violation?
How do I gain back my faith in my PhD degree?
Why is this clock signal connected to a capacitor to gnd?
What is the idiomatic way to say "clothing fits"?
Why is it a bad idea to hire a hitman to eliminate most corrupt politicians?
Is there an expression that means doing something right before you will need it rather than doing it in case you might need it?
CAST throwing error when run in stored procedure but not when run as raw query
How badly should I try to prevent a user from XSSing themselves?
What reasons are there for a Capitalist to oppose a 100% inheritance tax?
Unlock My Phone! February 2018
How to prevent "they're falling in love" trope
What does the expression "A Mann!" means
Is "remove commented out code" correct English?
How would I stat a creature to be immune to everything but the Magic Missile spell? (just for fun)
If matching maps of a cosimplicial space are fibrations up to degree $n$, does the $n$-th partial totalization have the 'correct' homotopy type?
Why is Top a model category?Fat geometric realization weakly equivalent to the usual oneGeometric realization of function complexes of simplicial setsHomotopy type vs. weak homotopy type, and repercussions for EGWhy aren't *weak* test categories enough?Functorial cofibrant replacement does not have to be fibration?Is there a sensible way to form the geometric realization of a “simplicial space up to homotopy”?Do Homotopy limits commute with right Quillen functorsUnderlying quasicategory of a model category through framings?Weak homotopy equivalence induces isomorpism of sets of homotopy classes?
$begingroup$
Let $X$ be a cosimplicial space and suppose that the matching maps:
$$
s:X^krightarrow M^k-1X
$$
are fibrations for all $kleq n$. On one hand we can form the partial totalization $Tot_n(X)$, on the other hand we can take the fibrant replacement $RX$ and form $widetildeTot_n(X):=Tot_n(RX)$.
Do we have $Tot_n(X)simeq widetildeTot_n(X)$?
In other words, is the partial totalization in this case already homotopy invariant?
For example, totalization preserves weak equivalences between Reedy fibrant cosimplicial spaces (i.e. those for which all the matching maps are fibrations): if $X$ and $Y$ are (levelwise) weakly equivalent and both are Ready fibrant, then $Tot(X)simeq Tot(Y)$.
I guess I am asking if there is an analogous statement for the case of partial totalizations, and would it be as simple as I suggested - partial totalization preserves weak equivalences between truncated cosimplicial spaces if they are ''fibrant up to appropriate degree''.
algebraic-topology homotopy-theory simplicial-stuff monoidal-categories
$endgroup$
add a comment |
$begingroup$
Let $X$ be a cosimplicial space and suppose that the matching maps:
$$
s:X^krightarrow M^k-1X
$$
are fibrations for all $kleq n$. On one hand we can form the partial totalization $Tot_n(X)$, on the other hand we can take the fibrant replacement $RX$ and form $widetildeTot_n(X):=Tot_n(RX)$.
Do we have $Tot_n(X)simeq widetildeTot_n(X)$?
In other words, is the partial totalization in this case already homotopy invariant?
For example, totalization preserves weak equivalences between Reedy fibrant cosimplicial spaces (i.e. those for which all the matching maps are fibrations): if $X$ and $Y$ are (levelwise) weakly equivalent and both are Ready fibrant, then $Tot(X)simeq Tot(Y)$.
I guess I am asking if there is an analogous statement for the case of partial totalizations, and would it be as simple as I suggested - partial totalization preserves weak equivalences between truncated cosimplicial spaces if they are ''fibrant up to appropriate degree''.
algebraic-topology homotopy-theory simplicial-stuff monoidal-categories
$endgroup$
add a comment |
$begingroup$
Let $X$ be a cosimplicial space and suppose that the matching maps:
$$
s:X^krightarrow M^k-1X
$$
are fibrations for all $kleq n$. On one hand we can form the partial totalization $Tot_n(X)$, on the other hand we can take the fibrant replacement $RX$ and form $widetildeTot_n(X):=Tot_n(RX)$.
Do we have $Tot_n(X)simeq widetildeTot_n(X)$?
In other words, is the partial totalization in this case already homotopy invariant?
For example, totalization preserves weak equivalences between Reedy fibrant cosimplicial spaces (i.e. those for which all the matching maps are fibrations): if $X$ and $Y$ are (levelwise) weakly equivalent and both are Ready fibrant, then $Tot(X)simeq Tot(Y)$.
I guess I am asking if there is an analogous statement for the case of partial totalizations, and would it be as simple as I suggested - partial totalization preserves weak equivalences between truncated cosimplicial spaces if they are ''fibrant up to appropriate degree''.
algebraic-topology homotopy-theory simplicial-stuff monoidal-categories
$endgroup$
Let $X$ be a cosimplicial space and suppose that the matching maps:
$$
s:X^krightarrow M^k-1X
$$
are fibrations for all $kleq n$. On one hand we can form the partial totalization $Tot_n(X)$, on the other hand we can take the fibrant replacement $RX$ and form $widetildeTot_n(X):=Tot_n(RX)$.
Do we have $Tot_n(X)simeq widetildeTot_n(X)$?
In other words, is the partial totalization in this case already homotopy invariant?
For example, totalization preserves weak equivalences between Reedy fibrant cosimplicial spaces (i.e. those for which all the matching maps are fibrations): if $X$ and $Y$ are (levelwise) weakly equivalent and both are Ready fibrant, then $Tot(X)simeq Tot(Y)$.
I guess I am asking if there is an analogous statement for the case of partial totalizations, and would it be as simple as I suggested - partial totalization preserves weak equivalences between truncated cosimplicial spaces if they are ''fibrant up to appropriate degree''.
algebraic-topology homotopy-theory simplicial-stuff monoidal-categories
algebraic-topology homotopy-theory simplicial-stuff monoidal-categories
edited Mar 28 at 19:53
Bernard
124k741118
124k741118
asked Mar 28 at 19:47
DanicaDanica
314
314
add a comment |
add a comment |
0
active
oldest
votes
Your Answer
StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
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
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3166329%2fif-matching-maps-of-a-cosimplicial-space-are-fibrations-up-to-degree-n-does-t%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
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
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3166329%2fif-matching-maps-of-a-cosimplicial-space-are-fibrations-up-to-degree-n-does-t%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown