feat(library/data/category.lean)