feat(library/hott) add definition of category