发表机构
Max Planck Institute für Mathematik; Fakultät für Mathematik, Universität Osnabrück（马克斯·普朗克数学研究所; 奥斯纳布吕克大学数学系）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文证明实K-理论函子具有松弛对称幺半结构，并在加法且松弛对称幺半的实函子中具有初始性。
AI 中文摘要
我们证明了实$K$-理论函子是松弛对称幺半的。此外，在所有从$\mathsf{Wald}_\infty^\mathrm{gd}$到$\mathsf{Sp}^{C_2}$的加法且松弛对称幺半的实函子中，它是初始的。
英文摘要
We prove that the real $K$-theory functor is lax symmetric monoidal. Moreover, it is initial among those real functors $\mathsf{Wald}_\infty^\mathrm{gd}\to\mathsf{Sp}^{C_2}$ that are additive and lax symmetric monoidal.
