A Categorical Analysis of Multi-Level Languages (Extended Abstract)