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?













2












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










share|cite|improve this question











$endgroup$
















    2












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










    share|cite|improve this question











    $endgroup$














      2












      2








      2





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










      share|cite|improve this question











      $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






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Mar 28 at 19:53









      Bernard

      124k741118




      124k741118










      asked Mar 28 at 19:47









      DanicaDanica

      314




      314




















          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
          );



          );













          draft saved

          draft discarded


















          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















          draft saved

          draft discarded
















































          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.




          draft saved


          draft discarded














          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





















































          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







          Popular posts from this blog

          Boston (Lincolnshire) Stedsbyld | Berne yn Boston | NavigaasjemenuBoston Borough CouncilBoston, Lincolnshire

          Trouble understanding the speech of overseas colleaguesHow can I better understand manager or clients with strong accents?Adding more movement and speech at the fundamental level to a highly-sedentary job?Difficulty in understanding Manager's accent(language and communication)How to adjust yourself where your colleagues are not understanding to you?Understanding manager's expectationsForeigner and colleagues using slangHaving difficulty understanding meetingsHow do you breathe when giving a speech?Trouble Waking Up for Emergencies (On-Call)Problems with colleaguesColleagues feeling insecure when I do my work

          Ballerup Komuun Stääden an saarpen | Futnuuten | Luke uk diar | Nawigatsjuunwww.ballerup.dkwww.statistikbanken.dk: Tabelle BEF44 (Folketal pr. 1. januar fordelt på byer)Commonskategorii: Ballerup Komuun55° 44′ N, 12° 22′ O