Dwyer-Kan Equivalences Induce Equivalences on Topologically Enriched Presheaves
这个简短的说明阐述了Gepner和Henriques的一个结果。他们证明了两个小的拓扑范畴之间的Dwyer-Kan等价会导致拓扑丰富的预层范畴的Quillen等价。我们对他们的证据作了更详细的说明。
2017-04-24 math.AT
A variant of a Dwyer-Kan theorem for model categories
本文证明了单纯组合模型范畴在小函子范畴上的同伦模型结构存在性或其替代方案，并以此推广了关于同伦函子范畴 Quillen 等价的 Dwyer-Kan 定理，同时给出了 Goodwillie calculus 的应用。
2023-01-25 math.AT math.CT
Relative left properness of colored operads
$\mathfrak{C}$ -着色对称运算范畴具有一个共纤生成的模型范畴结构.在本文中，我们证明了这个模型结构满足一个相对左适当性条件，即，证明了$Σ$ -余算子之间的弱等价类在余基变换下是闭的.我们还提供了一个例子，Dwyer表明，模型结构上的$\mathfrak{C}$着色对称操作是不适当的左。
2016-10-03 math.AT math.CT
Inverting operations in operads
我们构建了一个本地化的操作相对于一元操作的Dwyer-Kan吊床本地化的基础上。对于一个操作数O和一元操作W的子幺半群，我们将操作数LO和一个正则映射O关联到LO，该正则映射将W中的元素映射到同伦可逆操作。进一步，我们给出了O-代数范畴到LO-代数范畴的一个函子，该函子满足适当的泛性质。
2017-09-15 math.AT math.CT
On Morita weak equivalences of simplicial algebraic theories and operads
推广的结果Dwyer和Kan的单纯范畴，我们刻画的态射的多排序单纯代数理论和单纯的有色运算，诱导Quillen等价相应的类别之间的代数。
2019-09-13 math.AT math.CT
Comparing cohomology obstructions
在一定的假设下，证明了Pi-代数的Baues-Wirsching上同调、Dwyer-Kan的（S，O）-上同调和Andre-Quillen上同调是同构的.然后，这是用来确定的上同调障碍，在三个一般的方法来实现问题：轨道类别版本的Baues-Wirsching，图纠正的Dwyer-坎-史密斯，和Pi-代数实现的Dwyer-坎-斯托弗。我们在这一识别的主要工具是概念的映射代数：一个简单的丰富版本的代数理论。
2010-08-10 math.AT
Monoidal Envelopes of Families of $\infty$-Operads and $\infty$-Operadic Kan Extensions
本文补充了 Lurie 算畴 Kan 扩张定理的证明细节，并将 ∞-算畴的幺半包络推广到算畴族，构造了具有泛性质刻画的纤维直和函子。
2025-06-24 math.AT math.CT
Comonad Cohomology of Track Categories
我们定义了一个comonad上同调的轨道类别，我们表明它是由一个长的确切序列，其Dwyer-Kan-Smith上同调。在轨道范畴的温和假设下，我们证明了它的共单上同调与它的Dwyer-Kan-Smith上同调在维数移动之前是一致的，从而得到了后者的一个代数形式。我们还将我们的结果专门用于轨道类别是$2$ -广群的情况。
2019-04-14 math.AT math.CT
Quasi Modular Operads
University of Melbourne（墨尔本大学）；Monash University（莫纳什大学）
本文定义了无穷模操作子的Kan条件，证明了神经定理及Kan与Segal条件的等价性，还在附录中补充了循环操作子的相关对应内容。
2026-08-19 math.AT math.CT
The fibration sequences of the lattice path operad
本文引入复杂度为$m$的operad概念，证明其对应operad是格路径operad第$m$阶滤过的子operad，并构造相关纤维化序列，推广了已有结果。
2025-03-19 math.AT
Profinite completions of topological operads
本文将拓扑算畴的特定有限完备纳入左 Quillen 函子框架，构建了有限同伦算畴的模型范畴，刻画了其底层 $\infty$-范畴与弱等价，并在 Quillen 等价背景下获得了类似结果。
2025-11-04 math.AT math.CT
The 2-monoidal structure of symmetric sequences
EPFL, Switzerland（瑞士洛桑联邦理工学院）
该研究证明Dwyer与Hess提出的对称序列范畴的2-幺半结构猜想，通过分析两种幺半结构的相互作用，得出每个operad都具有Day-operad结构的结论。
2026-09-01 math.AT math.CT
Algebraic Kan extensions along morphisms of internal algebra classifiers
代数左Kan扩张是与给定情况下存在的代数结构良好交互的左Kan扩张，并且这些出现在各种学科中，例如运算的同伦理论和共形域论的研究中。在最有趣的例子中，我们让Kan延拓的函子位于具有泛性质的范畴之间，这些性质表达了我们试图理解的计算的意义。这些泛性质说，所讨论的范畴是具有某种内部结构的某种范畴结构的泛例子，因此属于作者在早期工作中描述的内部代数分类器理论的范围。在这篇文章中的单子理论性质的条件被确定产生这样的泛对象之间的态射，满足关键条件的Guitart-精确，保证代数的左Kan沿他们延伸。由此产生的设置解释了代数性的左坎扩展所产生的运算理论，例如从理论的费曼类别的考夫曼和沃德，概括其，也包括情况考虑的巴塔宁和伯杰在他们的工作同伦代数论的多项式单子。
2015-11-26 math.AT math.CT math.QA
Hammock localization via Segal animae
Research Institute for Mathematical Sciences, Kyoto University（京都大学数学科学研究所）；Fakultät für Mathematik, Universität Regensburg（雷根斯堡大学数学系）
本文在∞-范畴框架下，通过相对Rezk nerve的Mazel-Gee公式，将Dwyer–Kan的吊床局部化描述为Segal anima，计算其映射anima并推广原公式，为相关文献公式提供统一处理。
2026-08-21 math.AT math.CT
Homotopical recognition of diagram categories
本文通过引入同伦原子概念，刻画了模型范畴与预层范畴Quillen等价的判定条件，并将其应用于分类从有限带点单纯集到谱的多项式函子，推广了Dwyer-Kan轨道模型结构等经典结果。
2024-12-28 math.AT math.CT
Classification spaces of maps in model categories
本文纠正了Dwyer-Kan的一篇论文中的一个小错误，并利用这个错误来识别具有某些Z字形范畴神经的模型范畴中的同伦函数复形。
2009-06-16 math.AT math.CT
A new model structure on dendroidal spaces for the theory of $\infty$-operads
本文提出了一种新的 dendroidal 空间模型结构，用于 $\infty$-操作符理论，并证明其与 Cisinski-Moerdijk 模型结构的 Quillen 等价性。
2026-01-14 math.AT math.CT
Mapping spaces between operads in relation to bimodules
HANOI FPT UNIVERSITY（河内FPT大学）
本文研究了增强操作符之间的映射空间，并通过方便的纤维序列将这些空间与操作符双模之间的空间联系起来，适用于仿射操作符、仿射在仿射模块中的操作符以及连通的dg操作符。
2026-04-10 math.AT math.CT
Universal homotopy theories
给定一个小范畴C，我们证明了有一个普遍的方法将C扩展成一个模型范畴，本质上是通过形式上邻接同伦上极限。本地化技术成为一种将“关系”强加给这些通用小工具的方法。本文发展了这种形式主义，并讨论了各种应用，例如研究同伦colimits，德怀尔-坎理论的框架，并同伦理论的计划。
2000-07-11 math.AT math.CT
Homotopical algebra of Lie-Rinehart pairs
本文研究了dg李-里恩哈特对的同伦代数，证明了通过不同的纤维性条件，其在Dwyer-Kan局部化下等价，并展示了相关纤维结构和同伦唯一性。
2026-01-06 math.AG math.AT math.CT
On inner Kan complexes in the category of dendroidal sets
树状集的范畴是单纯集范畴的扩展，适合于定义操作数的神经而不仅仅是范畴。本文证明了树状集范畴中内Kan复形的一些基本性质。特别是，我们扩展的基本结果Boardman和Vogt，Cordier和波特，和Joyal的树状集。
2007-05-01 math.AT math.CT
Mapping spaces in Quasi-categories
本文将模型范畴中同伦函数复形的Dwyer-Kan理论应用于拟范畴中映射空间的研究。利用这一点，结合我们在[DS 1]中关于刚性化的工作，我们给出了拟范畴和单纯范畴之间的Quillen等价性的简化证明。一些有用的材料有关的相对映射空间在准范畴的发展。
2009-11-03 math.AT math.CT
Dendroidal sets as models for homotopy operads
将Joyal的无穷范畴同伦理论推广到树状集范畴，定义了无穷运算同伦理论。本文证明了树状集范畴具有一个模范畴结构，其映射对象是无穷操作数（即树状内Kan复形）。这扩展了无限范畴理论，在这个意义上，单纯集上的Joyal模型范畴结构（其映射对象是无限范畴）可以通过简单地在点上切片而从树状集上的模型范畴结构中恢复出来。
2014-03-25 math.AT math.CT
Dendroidal Sets
我们引入了树状集的概念。这是单纯集概念的推广，特别适用于同伦理论背景下的运算研究。本文定义了一个树范畴，它是单纯集范畴$Δ$的推广，其预层范畴是树状集范畴。我们证明了树状集上存在一个封闭的么半群结构，它与运算的Boardman-Vogt张量积密切相关。此外，我们表明，每个操作数在一个合适的模型类别有一个连贯的同伦神经，这是一个树状集，扩展另一个建设Boardman和Vogt。也有一个概念的内部Kan树集是密切相关的单纯Kan复合体。最后，我们简要地指出了理论的树状对象和概述的几个应用和进一步理论的树状集。
2007-05-01 math.AT math.CT
Unital k-Restricted Infinity-Operads
本文通过元数限制研究单位无穷操作范畴，建立单位 k-限制无穷操作范畴的完全 Segal 预层模型，并证明限制函子有完全忠实的左右伴随，从而给出过滤与余过滤结构。
2025-04-24 math.AT math.CT
Replacing functors with enriched ones
本研究针对（带点）单纯集等多种强化基，提出给定函子自然等价于强化函子的简单准则，并给出了Lurie关于Dwyer-Kan局部化结果的新证明等推论。
2025-08-18 math.AT math.CT
Dendroidal sets as models for connective spectra
树状集已被引入作为同伦相干运算的组合模型。我们引入了完全Kan树集的概念，并证明了具有完全Kan树集给出的映射对象的树集范畴存在一个模型结构。此外，我们证明了由此得到的同伦理论是等价于连通谱的同伦理论。
2014-05-19 math.AT math.CT
Simplicial lists in operad theory I
Ankara Yıldırım Beyazit University（安卡拉耶尔迪勒贝亚齐特大学）；Bilkent University（比尔肯特大学）
本文定义了单纯列表范畴 $\mathsf{sList}$，通过构造完全忠实神经函子证明其支持非对称算畴组合学，为非对称 $\infty$-算畴理论提供合理模型，并研究了其预层结构、连贯神经函子及同调群。
2025-11-02 math.AT math.CT
Combinatorial model categories are equivalent to presentable quasicategories
本文通过建立组合模型范畴、可表示拟范畴等局部可表示（无穷,1）-范畴模型的相对范畴间的Dwyer-Kan等价，证明了其基础拟范畴等价，为相关范畴研究提供了等价性依据。
2025-02-11 math.AT math.CT math.KT
The Eckman-Hilton argument and higher operads
经典的Eckmann-Hilton论证表明，集合上的两个幺半群结构，使得一个是另一个的同态，重合，而且，由此产生的幺半群是交换的。这个论证立即给出了高阶同伦群的交换性的证明。用高阶范畴的语言重新表述这个论点是：假设我们有一个单对象，一个箭头2-范畴，那么它的$Hom$ -集是一个交换幺半群。A.Joyal和R.Street的一个类似论证表明，一个一物一矢的三范畴与一个辫状幺半范畴是“相同的”。在本文中，我们开始研究如何可以扩展到任意尺寸的这一论点。我们提供了一个简单的分类计划，使我们能够正式的Eckman-Hilton型参数的计算左坎扩展在一个适当的2类。然后，我们应用这个计划的情况下，$n$ -运算在作者的意义和经典的对称运算。证明了存在一个从$n$ -运算的某个子范畴到对称运算范畴的对称化$Sym_n$函子，使得一个对象，一个箭头，. . ., $A$的一个$(n-1)$ -箭代数同构于$Sym_n(A)$的代数范畴.在适当的条件下，我们给出了$Sym_n(A)$的一个显式公式，它涉及到在一个显著的范畴对称运算上取上极限。在本系列的第二篇论文中，我们将考虑对$n$ -折叠闭路空间理论所发展的方法的一些应用。
2007-06-14 math.AT math.CT
Cosimplicial resolutions and homotopy spectral sequences in model categories
我们开发了一个一般理论的余单纯决议，同伦谱序列，并完成对象的模型类别，扩展工作的Bousfield-Kan和Bendersky-Thompson的普通空间。这是基于一个广义的余单纯版本的Dwyer-Kan-Stover理论的分辨率模型类别，我们能够构建我们的同伦谱序列和完成使用非常灵活的弱决议的精神，相对同调代数。我们推断，我们的完成函子有三重结构，并保持一定的纤维平方同伦。我们还证明了连通环谱上的Bendersky-Thompson完备化等价于实环上的Bousfield-Kan完备化。目前的工作使我们能够显示，在随后的文件中，同伦谱序列在任意环谱有良好的表现组成配对。
2003-12-31 math.AT
Regular patterns, substitudes, Feynman categories and operads
我们证明了Getzler（2009）的正则模式与Day和Street（2003）的代换2-范畴形成2-范畴双等价，Kaufmann和Ward（2013）的Feynman范畴与有色运算2-范畴形成2-范畴双等价（具有可逆2-胞室）.这些双等价诱导了相应代数范畴之间的等价。在确定这些双等价值时有三个主要因素。第一个是严格化定理（利用功率的一般相干结果），它允许减少的情况下，结构映射是身份对象函子和严格monoidal。其次，我们subsidiaries的Getzler和Kaufmann-沃德遗传公理到概念的Guitart精确性，一般条件，确保某些左Kan扩展和一个给定的单子之间的兼容性，在这种情况下，自由对称monoidal类单子。最后，我们建立了一个替代和我们称之为pinned对称幺半范畴之间的biadjunction，从结果遵循的事实，遗传映射正是这个biadjunction的counit。
2018-03-05 math-ph math.AT math.CT
Algebraic K-theory and abstract homotopy theory
我们根据Waldhausen范畴的Dwyer-Kan单纯局部化对K-理论空间进行了分解。这导致了一个标准函子诱导等价的K-理论谱，概括和解释了许多标准出现在文献中。我们表明，在温和的假设下，弱精确函子，诱导等价的同伦范畴诱导等价的K-理论谱。
2010-11-02 math.AT math.KT
Formal weakly enriched category theory
Masaryk University（马萨里克大学）；University of Milan（米兰大学）
本文构造了编码弱充实的形式范畴论，证明其与拟范畴的无穷宇宙等价，并导出充实版Quillen定理A。
2026-10-08 math.AT math.CT
A remark on K-theory and S-categories
现在众所周知，K理论的瓦尔德豪森类别取决于不仅仅是它的（三角）同伦类别（见[Schlichting]）。本文的目的是证明（好）Waldhausen范畴的K理论谱完全由它的Dwyer-Kan单纯局部化决定，而不需要任何附加结构.由于单纯局部化是同伦范畴的一个改进版本，它也决定了三角结构，我们的结果是对一般问题的一个可能的回答："在多大程度上$K$ -理论不是三角导出范畴的不变量？''
2003-10-02 math.AG math.AT math.CT
Feynman Categories
在本文中，我们给出了一个新的基本的，明确的制定业务和关系和对象参数化。这概括和统一了运算及其所有表亲的理论，包括但不限于PROPs，模运算，扭曲（模）运算，propriads，超运算，它们的有色版本，以及运算上的代数和丰富的其他相关结构，如交叉单纯群，增广单纯范畴或FI-模。这种方法的有用之处在于，它允许我们在一个共同的框架下处理所有经典以及更深奥的结构，我们可以同时处理所有情况。许多已知的构造只是成为Kan扩张。在这个共同的框架下，我们还得到了普遍的操作，如那些潜在的Deligne猜想，构造霍普夫代数以及执行决议，（co）酒吧变换和费曼变换，这是与主方程。对于这些应用，我们构建了相关的模型类别结构。这产生了许多新的例子。
2017-02-22 hep-th math.AG math.AT
Homotopy Diagrams of Algebras
在[math.AT/9907138]中我们证明了强同伦代数是链复形范畴中的同伦不变量概念。我们的论证是基于强同伦代数是极小同伦算子上的代数这一事实和同伦算子上的代数是同伦不变量的原理。在我们的方法中，代数模型的彩色运算描述图的同态发挥了重要作用。本文的目的是给出一个明确的描述这些模型。一个可能的应用是一个适当的制定“理想”同调扰动引理的链复形与代数结构。我们的结果也提供了一个概念性的方法，通过同态同伦强同伦代数。我们还认为，强同伦代数形成一个诚实的（不仅是弱Kan）范畴。这篇论文是我们翻译《M.博德曼河Vogt：拓扑空间上的同伦不变量代数结构“到代数。
2001-03-07 math.AT
A higher Mackey functor description of algebras over an $N_{\infty}$-operad
本文通过构造 $N_{\infty}$-操作符代数与更高不完整 $\mathcal{I}$-Mackey 函数之间的等价关系，揭示了有限群作用下的代数结构。
2026-04-02 math.AT
On the classification of fibrations
分类问题通常是关于理解一个类别的组成部分。然而，更可取的是能够理解这个范畴的整个同伦类型，而不仅仅是它的组成部分的集合。在本文中，我们证明了这是可能的函子范畴索引的小范畴I，分配给任何态射在一个给定的模型范畴的弱等价。我们用I的神经到这些函子的值的弱等价空间的分类空间的映射空间来确定这个范畴的同伦型。我们用它重新证明了Stasheff纤维化定理的经典分类及其Dwyer-Kan的推广。
2012-06-20 math.AT
Simplicial structures on model categories and functors
我们产生了一个高度结构化的方式相关联的一个单纯的类别的模型类别，提高了德怀尔和坎的工作，并回答了一个问题的霍维。我们证明了满足一定公理的模型范畴与单纯模型范畴是Quillen等价的。单纯模型范畴提供更高阶的结构，例如可组合的映射空间和同伦上极限。我们还表明，某些同伦不变量函子可以取代弱等价单纯，或“连续”，函子。这是用来表明，如果一个单纯模型范畴结构存在于一个模型范畴，那么它是唯一的单纯Quillen等价。
2001-01-19 math.AT
A Giraud-type characterization of the simplicial categories associated to closed model categories as $\infty$-pretopoi
定理（根据Giraud，SGA 4）：假设$A$是单纯范畴。下列条件是等价的：（i）存在共纤生成的闭模型范畴$M$，使得$A$等价于Dwyer-Kan单纯局部化$L(M)$ ;（ii）$A$允许所有同伦小余极限，并且存在$A$ -small的$A$的对象的一个小子集，它们由同伦余极限生成$A$;（iii）存在小1-范畴$C$和将$C$的对象发送到$A$ -小对象的态射$g:C\to A$，这导致完全忠实包含$i:A\to \hat{C}$，使得$i$允许左同伦伴随$ψ$ .我们称满足这些等价条件的Segal范畴$A$为$\infty$ -pretopos.注意，（i）意味着$A$也允许所有同伦小极限。如果进一步存在如（iii）中的$C\to A$，使得伴随$ψ$保持有限同伦极限，则我们说$A$是"$\infty$ -拓扑“。
1999-03-29 math.AT math.CT
Hammocks and fractions in relative $\infty$-categories
本文研究了单纯空间的$\infty$-范畴$sS$中的$\infty$ -范畴的同伦理论.也就是说，我们认为$sS$ -丰富的$\infty$ -范畴是普通$\infty$ -范畴通过“局部”几何实现函子$Cat_{sS} \to Cat_\infty$的表示，并且我们证明了它们的同伦理论表示$\infty$ -范畴的$\infty$ -范畴，即这个函子从$sS$ -丰富的$\infty$-范畴的$\infty$-范畴的局部化导出等价$Cat_{sS} [[ W_{DK}^{-1} ]] \xrightarrow{\sim} Cat_\infty$.在Dwyer-Kan之后，我们定义了一个从相对$\infty$ -范畴到$sS$ -丰富的$\infty$ -范畴的 *hammock localization* 函子，从而提供了丰富的$sS$ -丰富的$\infty$ -范畴的例子.同时对他们的一个关键结果进行了解包和推广，证明了给定一个包含同伦三箭头演算的相对$\infty$ -范畴，可以用一种更明确和更容易理解的方式来描述$\infty$ -范畴中由其吊床局部化所表示的hom-space.作为这个框架的应用，我们给出了相对$\infty$ -范畴的Rezk神经是（完全）Segal空间的充分条件，推广了与Low的联合工作.
2015-10-14 math.AT math.CT
Coformality and the rational homotopy groups of spaces of long knots
我们证明了计算${\mathbb R}^d$中长结点空间的有理同伦群的Bousfield-Kan谱序列在$E^2$页处崩溃，其中$d\ge 4$。在证明的主要成分是辛哈的cosimplicial模型的空间长结和一个coformatism结果的小球操作。
2007-09-19 math.AT
On the 3-arrow calculus for homotopy categories
我们为某些范畴发展了一个局部化理论，产生了一个3箭头演算：局部化中的每个态射都由一个长度为3的图表示，两个这样的图表示相同的态射当且仅当它们可以以适当的方式嵌入到一个3 × 3的图中。构造这种局部化的方法类似于2-arrow演算的Ore局部化;特别是，我们不必使用任意长度的标记。应用程序包括本地化的任意模型类别相对于其弱等价以及本地化的满子范畴的coherant，coherant和bioherant对象，使同伦类在所有四种情况下。与Dwyer、Hirschhorn、Kan和Smith的方法相反，所考虑的模型范畴不需要承认函子因子分解。此外，我们的方法表明，导出范畴的任何阿贝尔（或幂等分裂确切）范畴承认一个3-箭头演算，如果我们本地化的范畴，而不是其同伦范畴。
2011-03-30 math.AT math.CT
E-infinity obstruction theory
单纯操作数C上的E-无限结构空间是纤维化塔的极限，因此它的同伦是Bousfield-Kan流苏谱序列的邻接。谱序列开始于（在温和的限制下）由C的同伦群形成的分次右Gamma-模的稳定上同伦;边缘包含C上存在E-无限结构的阻塞理论。这个公式是非常灵活的：应用程序扩展到经典的环谱结构的例子（在参考文献中）motivic同伦理论。
2013-01-08 math.AT
What do homotopy algebras form?
在论文arXiv：1406.1744中，我们构造了一个对称幺半范畴$LIE^{MC}$，它的对象是移位（和过滤）的L-无穷代数.在这里，我们固定一个cooperad $C$，并表明，代数在操作数$Cobar(C)$自然形成一个范畴丰富的$LIE^{MC}$。在arXiv：1406.1744之后，我们把这个$LIE^{MC}$ -丰富范畴“整合”到一个单纯范畴$HoAlg^Δ_C$中，它的映射空间是Kan复形.单纯范畴$HoAlg^Δ_C$给出了$Cobar(C)$ -代数的$(\infty,1)$ -范畴的一个特别好的模型。证明了$HoAlg^Δ_C$的同伦范畴是$Cobar(C)$ -代数范畴和无穷态射关于无穷拟同构的局部化.最后，我们证明了同伦转移定理是Goldman-Millson定理的一个简单推论。
2015-03-04 math.AT math.CT math.RA
Lifting homotopy T-algebra maps to strict maps
同伦代数的设置-范畴如单纯群、单纯环、$A_\infty$空间、$E_\infty$环谱等-通常等价于某些单子或三元$T$上的代数范畴。在这种情况下，$T$作用在一个好的单纯模型范畴上，使得$T$下降到同伦范畴上的单子，并定义了同伦$T$ -代数的范畴。在这种情况下，存在一个从$T$ -代数的同伦范畴到同伦$T$ -代数范畴的遗忘函子。在适当的假设下，我们给出了一个Bousfield-Kan谱序列形式的障碍理论，用于将同伦$T$ -代数映射提升为$T$ -代数的严格映射.一旦我们有一个$T$ -代数的映射作为基点，谱序列计算$T$ -代数映射空间的同伦群，$π_0$上的边同态就是前面提到的遗忘函子。我们讨论了各种设置中，所需的假设得到满足，包括单子所产生的代数理论和运算。我们还给出了$E_2$ -项可计算的Quillen上同调群的充分条件。我们提供了$G$ -空间，$G$ -谱，有理$E_\infty$代数和$A_\infty$代数的工作例子。与有理不稳定同伦理论有关的显式计算表明，从$E_\infty$环谱的同伦范畴到$H_\infty$环谱范畴的遗忘函子一般既不完全也不忠实.我们还应用了第二位作者和Nick Kuhn的一个结果来计算空间$E_\infty(Σ^\infty_+ \mathrm{Coker}\, J, L_{K(2)} R)$的同伦型。
2014-07-03 math.AT math.GT math.QA
