Syntactic Categories for Dependent Type Theory: Sketching and Adequacy