inf G-var decomps give cat decomps