Interactive demonstrations of categorical constructions