The Clocks They Are adjunctions:Denotational Semantics for Clocked Type Theory