Categorical Foundations Of First-Order Abstract Syntax