data-category-0.11: Category theory