Is there any significance to Bousfield localization in the non-derived context?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
4
down vote

favorite












The term "Bousfield localization" of a category $C$ is used in roughly two different ways:



  1. There is a general usage (as in model categories or triangulated categories), which $infty$-categorically just means a reflective subcategory of $C$.


  2. There is also a more restrictive usage (as when talking about spectra), which requires $C$ to be monoidal, and means a reflective subcategory where the class of maps being localized at is of the form $X mid E otimes X = 0$ for some fixed $E in C$.


In this question, I'm interested in the more restrictive usage (2).



In this sense, Bousfield localization makes sense in either an ordinary monoidal category or in a monoidal $infty$-category (for that matter, the more general usage makes sense in either an ordinary category or in an $infty$-category). But it's typically only discussed in an $infty$-categorical setting (e.g. in model categories or triangulated categories).




Question 0: Is there a good reason why Bousfield localization for ordinary categories (in sense (2)) is rarely discussed?




I think the answer may be "yes" because the behavior of Bousfield localization may be quite different in the two settings, and it seems somehow "better" in the $infty$-categorical setting. But I'm not sure how to articulate this.



Here are two examples of what I mean:




  1. $E = mathbb Z/p$:



    • When $C = Ab$ is the (ordinary) category of abelian groups and $E = mathbb Z / p$, the Bousfield localization consists of the abelian groups which have no nonzero infinitely $p$-divisible elements.


    • But when $C = D(Ab)$ is the $infty$-category of chain complexes of abelian groups (localized at the quasi-isomorphisms) and $E = mathbb Z/p$, the Bousfield localization consists of chain complexes whose homology is $p$-complete.




  2. $E = mathbb Z_(p)$:



    • When $C = Ab$ and $E = mathbb Z_(p)$, the Bousfield localization consists of abelian groups which are $ell$-torsionfree for $ellneq p$.


    • When $C = D(Ab)$ and $E = mathbb Z_(p)$, the Bousfield localization consists of chain complexes whose homology is a $mathbb Z_(p)$-module.



By "different behavior", I mean, to a first approximation, that even though $D(Ab)$ is "the natural $infty$-categorical counterpart to $Ab$", in these cases it's not the case that the restriction of the $E$-Bousfield localization in $D(Ab)$ to $Ab$ coincides with the $E$-Bousfield localization in $Ab$ itself.



Part of the problem is that I'm not exactly sure what qualifies as "being in the $infty$-categorical setting". After all, an ordinary category is in particular an $infty$-category. But maybe for concreteness, I'll ask a slightly less vague version of the question:




Question 1: If $T$ is a tensor triangulated category with a $t$-structure, and $E in T^heart$, is there any reason to think about the Bousfield localization of $T^heart$ at $E$ rather than the Bousfield localization of $T$ at $E$?











share|cite|improve this question



























    up vote
    4
    down vote

    favorite












    The term "Bousfield localization" of a category $C$ is used in roughly two different ways:



    1. There is a general usage (as in model categories or triangulated categories), which $infty$-categorically just means a reflective subcategory of $C$.


    2. There is also a more restrictive usage (as when talking about spectra), which requires $C$ to be monoidal, and means a reflective subcategory where the class of maps being localized at is of the form $X mid E otimes X = 0$ for some fixed $E in C$.


    In this question, I'm interested in the more restrictive usage (2).



    In this sense, Bousfield localization makes sense in either an ordinary monoidal category or in a monoidal $infty$-category (for that matter, the more general usage makes sense in either an ordinary category or in an $infty$-category). But it's typically only discussed in an $infty$-categorical setting (e.g. in model categories or triangulated categories).




    Question 0: Is there a good reason why Bousfield localization for ordinary categories (in sense (2)) is rarely discussed?




    I think the answer may be "yes" because the behavior of Bousfield localization may be quite different in the two settings, and it seems somehow "better" in the $infty$-categorical setting. But I'm not sure how to articulate this.



    Here are two examples of what I mean:




    1. $E = mathbb Z/p$:



      • When $C = Ab$ is the (ordinary) category of abelian groups and $E = mathbb Z / p$, the Bousfield localization consists of the abelian groups which have no nonzero infinitely $p$-divisible elements.


      • But when $C = D(Ab)$ is the $infty$-category of chain complexes of abelian groups (localized at the quasi-isomorphisms) and $E = mathbb Z/p$, the Bousfield localization consists of chain complexes whose homology is $p$-complete.




    2. $E = mathbb Z_(p)$:



      • When $C = Ab$ and $E = mathbb Z_(p)$, the Bousfield localization consists of abelian groups which are $ell$-torsionfree for $ellneq p$.


      • When $C = D(Ab)$ and $E = mathbb Z_(p)$, the Bousfield localization consists of chain complexes whose homology is a $mathbb Z_(p)$-module.



    By "different behavior", I mean, to a first approximation, that even though $D(Ab)$ is "the natural $infty$-categorical counterpart to $Ab$", in these cases it's not the case that the restriction of the $E$-Bousfield localization in $D(Ab)$ to $Ab$ coincides with the $E$-Bousfield localization in $Ab$ itself.



    Part of the problem is that I'm not exactly sure what qualifies as "being in the $infty$-categorical setting". After all, an ordinary category is in particular an $infty$-category. But maybe for concreteness, I'll ask a slightly less vague version of the question:




    Question 1: If $T$ is a tensor triangulated category with a $t$-structure, and $E in T^heart$, is there any reason to think about the Bousfield localization of $T^heart$ at $E$ rather than the Bousfield localization of $T$ at $E$?











    share|cite|improve this question

























      up vote
      4
      down vote

      favorite









      up vote
      4
      down vote

      favorite











      The term "Bousfield localization" of a category $C$ is used in roughly two different ways:



      1. There is a general usage (as in model categories or triangulated categories), which $infty$-categorically just means a reflective subcategory of $C$.


      2. There is also a more restrictive usage (as when talking about spectra), which requires $C$ to be monoidal, and means a reflective subcategory where the class of maps being localized at is of the form $X mid E otimes X = 0$ for some fixed $E in C$.


      In this question, I'm interested in the more restrictive usage (2).



      In this sense, Bousfield localization makes sense in either an ordinary monoidal category or in a monoidal $infty$-category (for that matter, the more general usage makes sense in either an ordinary category or in an $infty$-category). But it's typically only discussed in an $infty$-categorical setting (e.g. in model categories or triangulated categories).




      Question 0: Is there a good reason why Bousfield localization for ordinary categories (in sense (2)) is rarely discussed?




      I think the answer may be "yes" because the behavior of Bousfield localization may be quite different in the two settings, and it seems somehow "better" in the $infty$-categorical setting. But I'm not sure how to articulate this.



      Here are two examples of what I mean:




      1. $E = mathbb Z/p$:



        • When $C = Ab$ is the (ordinary) category of abelian groups and $E = mathbb Z / p$, the Bousfield localization consists of the abelian groups which have no nonzero infinitely $p$-divisible elements.


        • But when $C = D(Ab)$ is the $infty$-category of chain complexes of abelian groups (localized at the quasi-isomorphisms) and $E = mathbb Z/p$, the Bousfield localization consists of chain complexes whose homology is $p$-complete.




      2. $E = mathbb Z_(p)$:



        • When $C = Ab$ and $E = mathbb Z_(p)$, the Bousfield localization consists of abelian groups which are $ell$-torsionfree for $ellneq p$.


        • When $C = D(Ab)$ and $E = mathbb Z_(p)$, the Bousfield localization consists of chain complexes whose homology is a $mathbb Z_(p)$-module.



      By "different behavior", I mean, to a first approximation, that even though $D(Ab)$ is "the natural $infty$-categorical counterpart to $Ab$", in these cases it's not the case that the restriction of the $E$-Bousfield localization in $D(Ab)$ to $Ab$ coincides with the $E$-Bousfield localization in $Ab$ itself.



      Part of the problem is that I'm not exactly sure what qualifies as "being in the $infty$-categorical setting". After all, an ordinary category is in particular an $infty$-category. But maybe for concreteness, I'll ask a slightly less vague version of the question:




      Question 1: If $T$ is a tensor triangulated category with a $t$-structure, and $E in T^heart$, is there any reason to think about the Bousfield localization of $T^heart$ at $E$ rather than the Bousfield localization of $T$ at $E$?











      share|cite|improve this question















      The term "Bousfield localization" of a category $C$ is used in roughly two different ways:



      1. There is a general usage (as in model categories or triangulated categories), which $infty$-categorically just means a reflective subcategory of $C$.


      2. There is also a more restrictive usage (as when talking about spectra), which requires $C$ to be monoidal, and means a reflective subcategory where the class of maps being localized at is of the form $X mid E otimes X = 0$ for some fixed $E in C$.


      In this question, I'm interested in the more restrictive usage (2).



      In this sense, Bousfield localization makes sense in either an ordinary monoidal category or in a monoidal $infty$-category (for that matter, the more general usage makes sense in either an ordinary category or in an $infty$-category). But it's typically only discussed in an $infty$-categorical setting (e.g. in model categories or triangulated categories).




      Question 0: Is there a good reason why Bousfield localization for ordinary categories (in sense (2)) is rarely discussed?




      I think the answer may be "yes" because the behavior of Bousfield localization may be quite different in the two settings, and it seems somehow "better" in the $infty$-categorical setting. But I'm not sure how to articulate this.



      Here are two examples of what I mean:




      1. $E = mathbb Z/p$:



        • When $C = Ab$ is the (ordinary) category of abelian groups and $E = mathbb Z / p$, the Bousfield localization consists of the abelian groups which have no nonzero infinitely $p$-divisible elements.


        • But when $C = D(Ab)$ is the $infty$-category of chain complexes of abelian groups (localized at the quasi-isomorphisms) and $E = mathbb Z/p$, the Bousfield localization consists of chain complexes whose homology is $p$-complete.




      2. $E = mathbb Z_(p)$:



        • When $C = Ab$ and $E = mathbb Z_(p)$, the Bousfield localization consists of abelian groups which are $ell$-torsionfree for $ellneq p$.


        • When $C = D(Ab)$ and $E = mathbb Z_(p)$, the Bousfield localization consists of chain complexes whose homology is a $mathbb Z_(p)$-module.



      By "different behavior", I mean, to a first approximation, that even though $D(Ab)$ is "the natural $infty$-categorical counterpart to $Ab$", in these cases it's not the case that the restriction of the $E$-Bousfield localization in $D(Ab)$ to $Ab$ coincides with the $E$-Bousfield localization in $Ab$ itself.



      Part of the problem is that I'm not exactly sure what qualifies as "being in the $infty$-categorical setting". After all, an ordinary category is in particular an $infty$-category. But maybe for concreteness, I'll ask a slightly less vague version of the question:




      Question 1: If $T$ is a tensor triangulated category with a $t$-structure, and $E in T^heart$, is there any reason to think about the Bousfield localization of $T^heart$ at $E$ rather than the Bousfield localization of $T$ at $E$?








      at.algebraic-topology ct.category-theory homotopy-theory triangulated-categories






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited 21 mins ago

























      asked 1 hour ago









      Tim Campion

      12k348112




      12k348112




















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          5
          down vote













          I'm right in the middle of a busy teaching week, so I'll give an off-the-cuff answer. One place where localizations of type (2) were discussed in ordinary category theory was Brian Day's Note on Monoidal Localisation, which characterizes such localizations in just the same way I characterized monoidal Bousfield localizations in my thesis Monoidal Bousfield Localizations and Algebras over Operads. I learned later that similar considerations appeared in Barwick's paper On left and right model categories and left and right Bousfield localizations, but I think it's an "if" rather than an "iff." Perhaps an answer to Question 0 is "because they have been characterized and are a special case of type (1) localizations for ordinary categories." I don't think the answer is "because they are differently behaved." My sense from reading Lurie is that localization in the $infty$-categorical setting works essentially the same as in the model categorical setting, assuming presentability. So, you should have the same characterization from my thesis in the $infty$-categorical setting.



          It's worth noting (for future readers) that the reason we take localizations of type (2) in algebraic topology is that Bousfield's original papers were about inverting homology theories $E$, and the $E_*(-)$ equivalences can be obtained via a type (2) localization, viewing $E$ as an object in the category of spectra. Note that you are not guaranteed in any of the settings that localizations play nicely with the monoidal product. In spectra, the monoidal localizations are exactly the stable localizations (also studied by Barnes and Roitzheim). A non-monoidal localization is given by the Postnikov section, an example I learned from Carles Casacuberta, and recounted in Localization of algebras over coloured operads. The problem with this example is on the homotopy level, so it affects all three settings.



          Monoidal Bousfield localizations of tensor triangulated categories have been considered by Balmer and Sanders, e.g. on page 15 of The Spectrum of the Equivariant stable homotopy category of a finite group, and among other places I am sure. I remember Roy Joshua has also thought about the interplay of Bousfield localization, t-structures, and hearts. I have not heard about localizations of $T^Heart$ rather than $T$. I'd love to see a characterization of when localization commutes with taking the heart.






          share|cite|improve this answer




















          • Localization does not commute with taking the heart. For a (say Noetherian) ring $A$ derived completion at an ideal $I$ of $A$ is a localization in $D(A)$ that does not come from $A$-Mod, its heart.
            – Leo Alonso
            50 secs ago











          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: "504"
          ;
          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',
          convertImagesToLinks: true,
          noModals: false,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          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%2fmathoverflow.net%2fquestions%2f312995%2fis-there-any-significance-to-bousfield-localization-in-the-non-derived-context%23new-answer', 'question_page');

          );

          Post as a guest






























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          5
          down vote













          I'm right in the middle of a busy teaching week, so I'll give an off-the-cuff answer. One place where localizations of type (2) were discussed in ordinary category theory was Brian Day's Note on Monoidal Localisation, which characterizes such localizations in just the same way I characterized monoidal Bousfield localizations in my thesis Monoidal Bousfield Localizations and Algebras over Operads. I learned later that similar considerations appeared in Barwick's paper On left and right model categories and left and right Bousfield localizations, but I think it's an "if" rather than an "iff." Perhaps an answer to Question 0 is "because they have been characterized and are a special case of type (1) localizations for ordinary categories." I don't think the answer is "because they are differently behaved." My sense from reading Lurie is that localization in the $infty$-categorical setting works essentially the same as in the model categorical setting, assuming presentability. So, you should have the same characterization from my thesis in the $infty$-categorical setting.



          It's worth noting (for future readers) that the reason we take localizations of type (2) in algebraic topology is that Bousfield's original papers were about inverting homology theories $E$, and the $E_*(-)$ equivalences can be obtained via a type (2) localization, viewing $E$ as an object in the category of spectra. Note that you are not guaranteed in any of the settings that localizations play nicely with the monoidal product. In spectra, the monoidal localizations are exactly the stable localizations (also studied by Barnes and Roitzheim). A non-monoidal localization is given by the Postnikov section, an example I learned from Carles Casacuberta, and recounted in Localization of algebras over coloured operads. The problem with this example is on the homotopy level, so it affects all three settings.



          Monoidal Bousfield localizations of tensor triangulated categories have been considered by Balmer and Sanders, e.g. on page 15 of The Spectrum of the Equivariant stable homotopy category of a finite group, and among other places I am sure. I remember Roy Joshua has also thought about the interplay of Bousfield localization, t-structures, and hearts. I have not heard about localizations of $T^Heart$ rather than $T$. I'd love to see a characterization of when localization commutes with taking the heart.






          share|cite|improve this answer




















          • Localization does not commute with taking the heart. For a (say Noetherian) ring $A$ derived completion at an ideal $I$ of $A$ is a localization in $D(A)$ that does not come from $A$-Mod, its heart.
            – Leo Alonso
            50 secs ago















          up vote
          5
          down vote













          I'm right in the middle of a busy teaching week, so I'll give an off-the-cuff answer. One place where localizations of type (2) were discussed in ordinary category theory was Brian Day's Note on Monoidal Localisation, which characterizes such localizations in just the same way I characterized monoidal Bousfield localizations in my thesis Monoidal Bousfield Localizations and Algebras over Operads. I learned later that similar considerations appeared in Barwick's paper On left and right model categories and left and right Bousfield localizations, but I think it's an "if" rather than an "iff." Perhaps an answer to Question 0 is "because they have been characterized and are a special case of type (1) localizations for ordinary categories." I don't think the answer is "because they are differently behaved." My sense from reading Lurie is that localization in the $infty$-categorical setting works essentially the same as in the model categorical setting, assuming presentability. So, you should have the same characterization from my thesis in the $infty$-categorical setting.



          It's worth noting (for future readers) that the reason we take localizations of type (2) in algebraic topology is that Bousfield's original papers were about inverting homology theories $E$, and the $E_*(-)$ equivalences can be obtained via a type (2) localization, viewing $E$ as an object in the category of spectra. Note that you are not guaranteed in any of the settings that localizations play nicely with the monoidal product. In spectra, the monoidal localizations are exactly the stable localizations (also studied by Barnes and Roitzheim). A non-monoidal localization is given by the Postnikov section, an example I learned from Carles Casacuberta, and recounted in Localization of algebras over coloured operads. The problem with this example is on the homotopy level, so it affects all three settings.



          Monoidal Bousfield localizations of tensor triangulated categories have been considered by Balmer and Sanders, e.g. on page 15 of The Spectrum of the Equivariant stable homotopy category of a finite group, and among other places I am sure. I remember Roy Joshua has also thought about the interplay of Bousfield localization, t-structures, and hearts. I have not heard about localizations of $T^Heart$ rather than $T$. I'd love to see a characterization of when localization commutes with taking the heart.






          share|cite|improve this answer




















          • Localization does not commute with taking the heart. For a (say Noetherian) ring $A$ derived completion at an ideal $I$ of $A$ is a localization in $D(A)$ that does not come from $A$-Mod, its heart.
            – Leo Alonso
            50 secs ago













          up vote
          5
          down vote










          up vote
          5
          down vote









          I'm right in the middle of a busy teaching week, so I'll give an off-the-cuff answer. One place where localizations of type (2) were discussed in ordinary category theory was Brian Day's Note on Monoidal Localisation, which characterizes such localizations in just the same way I characterized monoidal Bousfield localizations in my thesis Monoidal Bousfield Localizations and Algebras over Operads. I learned later that similar considerations appeared in Barwick's paper On left and right model categories and left and right Bousfield localizations, but I think it's an "if" rather than an "iff." Perhaps an answer to Question 0 is "because they have been characterized and are a special case of type (1) localizations for ordinary categories." I don't think the answer is "because they are differently behaved." My sense from reading Lurie is that localization in the $infty$-categorical setting works essentially the same as in the model categorical setting, assuming presentability. So, you should have the same characterization from my thesis in the $infty$-categorical setting.



          It's worth noting (for future readers) that the reason we take localizations of type (2) in algebraic topology is that Bousfield's original papers were about inverting homology theories $E$, and the $E_*(-)$ equivalences can be obtained via a type (2) localization, viewing $E$ as an object in the category of spectra. Note that you are not guaranteed in any of the settings that localizations play nicely with the monoidal product. In spectra, the monoidal localizations are exactly the stable localizations (also studied by Barnes and Roitzheim). A non-monoidal localization is given by the Postnikov section, an example I learned from Carles Casacuberta, and recounted in Localization of algebras over coloured operads. The problem with this example is on the homotopy level, so it affects all three settings.



          Monoidal Bousfield localizations of tensor triangulated categories have been considered by Balmer and Sanders, e.g. on page 15 of The Spectrum of the Equivariant stable homotopy category of a finite group, and among other places I am sure. I remember Roy Joshua has also thought about the interplay of Bousfield localization, t-structures, and hearts. I have not heard about localizations of $T^Heart$ rather than $T$. I'd love to see a characterization of when localization commutes with taking the heart.






          share|cite|improve this answer












          I'm right in the middle of a busy teaching week, so I'll give an off-the-cuff answer. One place where localizations of type (2) were discussed in ordinary category theory was Brian Day's Note on Monoidal Localisation, which characterizes such localizations in just the same way I characterized monoidal Bousfield localizations in my thesis Monoidal Bousfield Localizations and Algebras over Operads. I learned later that similar considerations appeared in Barwick's paper On left and right model categories and left and right Bousfield localizations, but I think it's an "if" rather than an "iff." Perhaps an answer to Question 0 is "because they have been characterized and are a special case of type (1) localizations for ordinary categories." I don't think the answer is "because they are differently behaved." My sense from reading Lurie is that localization in the $infty$-categorical setting works essentially the same as in the model categorical setting, assuming presentability. So, you should have the same characterization from my thesis in the $infty$-categorical setting.



          It's worth noting (for future readers) that the reason we take localizations of type (2) in algebraic topology is that Bousfield's original papers were about inverting homology theories $E$, and the $E_*(-)$ equivalences can be obtained via a type (2) localization, viewing $E$ as an object in the category of spectra. Note that you are not guaranteed in any of the settings that localizations play nicely with the monoidal product. In spectra, the monoidal localizations are exactly the stable localizations (also studied by Barnes and Roitzheim). A non-monoidal localization is given by the Postnikov section, an example I learned from Carles Casacuberta, and recounted in Localization of algebras over coloured operads. The problem with this example is on the homotopy level, so it affects all three settings.



          Monoidal Bousfield localizations of tensor triangulated categories have been considered by Balmer and Sanders, e.g. on page 15 of The Spectrum of the Equivariant stable homotopy category of a finite group, and among other places I am sure. I remember Roy Joshua has also thought about the interplay of Bousfield localization, t-structures, and hearts. I have not heard about localizations of $T^Heart$ rather than $T$. I'd love to see a characterization of when localization commutes with taking the heart.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 1 hour ago









          David White

          11k45999




          11k45999











          • Localization does not commute with taking the heart. For a (say Noetherian) ring $A$ derived completion at an ideal $I$ of $A$ is a localization in $D(A)$ that does not come from $A$-Mod, its heart.
            – Leo Alonso
            50 secs ago

















          • Localization does not commute with taking the heart. For a (say Noetherian) ring $A$ derived completion at an ideal $I$ of $A$ is a localization in $D(A)$ that does not come from $A$-Mod, its heart.
            – Leo Alonso
            50 secs ago
















          Localization does not commute with taking the heart. For a (say Noetherian) ring $A$ derived completion at an ideal $I$ of $A$ is a localization in $D(A)$ that does not come from $A$-Mod, its heart.
          – Leo Alonso
          50 secs ago





          Localization does not commute with taking the heart. For a (say Noetherian) ring $A$ derived completion at an ideal $I$ of $A$ is a localization in $D(A)$ that does not come from $A$-Mod, its heart.
          – Leo Alonso
          50 secs ago


















           

          draft saved


          draft discarded















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f312995%2fis-there-any-significance-to-bousfield-localization-in-the-non-derived-context%23new-answer', 'question_page');

          );

          Post as a guest













































































          Comments

          Popular posts from this blog

          What does second last employer means? [closed]

          Installing NextGIS Connect into QGIS 3?

          One-line joke