# Which categories correspond to the untyped and typed lambda calculus?

Simply typed lambda calculus is the internal language of Cartesian Closed Categories.

What category has its internal language the typed lambda calculus? And the untyped lambda calculus? Can we in fact consider it to be exactly the same as the simply typed calculus with the type constructor left implied?

-