A small implementation of categories.