Category theory as complementary to set theory
Category of Sets (Category of Types and Functions)
Modeling programming in the category of sets
An undercategory from the terminal object (coslice 1/C category) conveying set-theoretic types and functions