Comment Comment by eastWestMath Is this some flavour of groupoids symmetry? parent eastWestMath 3 years ago