The category of finite sets and Cartesian closed categories
scientific article; zbMATH DE number 3803700