A first implementation of category