Remark: A supergroupoid is a particular example of a supercategory with all invertible morphisms and an involutive automorphism