@trebor @buchholtz On the other hand, the way that I usually think of it (for ordinary groups G, not sheaves of groups) is just that if G is abelian, it gives rise to an Eoo-space since it's discrete and therefore extremely coherent and so we can just deloop it as much as we want
=> More informations about this toot | View the thread | More toots from danielgratzer@mathstodon.xyz
=> View trebor@types.pl profile | View buchholtz@mathstodon.xyz profile
text/geminiThis content has been proxied by September (3851b).