Manipulation and visualization of objects, morphisms, categories, functors, natural transformations.
Manipulation and visualization of objects, morphisms, categories, functors, natural transformations.