Embedding of a free cartesian-closed category into the category of sets Original Research Article

We show that every free cartesian closed category can be faithfully mapped to the category of sets. For that we use a Church-Rosser property of the appropriate typed lambda calculus.