The CCG account of the unbounded constructions - in particular, relativization and coordination-generaliz es the notion of surface structure in a way that disrupts traditional notions of dominance and command. This has led researchers in other frameworks to suggest that the theory is fundamentally incompatible with a coherent theory of binding and control - the bounded constructions. The present paper offers a theory of binding in CCG which preserves the original account of the unbounded dependencies, and which renders it immediately compatible with other theories, TAG in particular. The theory requires the abandonment of one assumption that has been traditional (though not essential) in other categorical approaches. The significance of this move is discussed.