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
Opposite categories
Product categories of interest to programming