feat(algebra/category/): minor additions, start on adjunction