Gregory's Server@mcc isn’t it just an identity function on the Abelian group of all the universes?
|
2 comments
 @mcc this can be easily proven by applying the Abelian-non-Abelian classifier to all of them. Or, alternatively, it can be derived from the second axiom of Abelian logic, which explicitly states that everything is Abelian unless proven otherwise. |
@mudasobwa I see no reason to assume the group of all universes is Abelian