As you surmise, there is no way to justify the definition 00 = 1 by means of continuity or limits. David does not claim this is possible.

In discrete mathematics, however, the definition offers formulational advantages and may, as David tried to show, be justified by analogy with other common usages.