groupoid

not defined yet