A multiplicative universal property for real algebraic -theory
En palabras de los autores
We prove that the real -theory functor is lax symmetric monoidal. Moreover, it is initial among those real functors that are additive and lax symmetric monoidal.
Resultado principalEl resumen no menciona limitaciones.
Apareció: jueves, 24 de septiembre. arXiv. Preprint, todavía sin revisión por pares.