groupoids lift over Nat