Title: A typed lambda calculus with categorical type constructors