As discussed with @giodefelice:

Given any category C, CPMap[C] has objects Ob(C) x Ob(C). Boxes compose freely in sequence and in parallel but also support a unfold method that effectively implements the doubling construction.