Add a notebook demonstrating the categorical type