K(G,1) can be defined as the type of G-torsors, and addition corresponds to taking the tensor product (in the obvious way). So what's the multiplication when G is a ring?
=> More informations about this toot | View the thread | More toots from trebor@types.pl
text/geminiThis content has been proxied by September (3851b).