Concrete Categories-The Joy of Cats WildCats is a category theory package for Mathematica. Manipulation and visualization of objects, morphisms, categories, functors, natural transformations, universal properties. Interactive Web page which generates examples of categorical constructions in the category of finite sets. Categories in category theory