PaulowniaAug 4, 2026, 3:10 PMA groupoid is a different object, it should not be used as a synonym to magma
