data-category-0.5.1: Category theory