Modeling programming in the category of sets
An undercategory from the terminal object (coslice 1/C category) conveying set-theoretic types and functions