Category theory vs. ZF language in a physics paper

Hi CatTheory people, I think that http://arxiv.org/pdf/0704.0646v2.pdf should be rewritten using category/topos theoretical language. E.g. instead of alluding to an infinite number of group presentations use Lawvere functional semantics ala categorical logic. Yes?? Vasya [For admin and other information see: http://www.mta.ca/~cat-dist/ ]