Entiendo que teniendo el grupo de Grothendieck de un trenzado monoidal (abelian) categoría nos da un anillo conmutativo y que la toma de un monoidal simétrica (abelian) categoría nos da un $\lambda$-ring. Ahora, simplemente he visto este (último) de hecho establecido en la internet de reputación, matemáticos, pero no he sido capaz de encontrar una referencia que explican cómo uno consigue todo lo que extra estructura ($\lambda$-anillos parecen bastante complicado!) a partir de una propiedad adicional que monoidal simétrica categorías.
Me preguntaba si alguien me podría señalar en la dirección correcta o arrojar algo de luz sobre los detalles?
Gracias!
