minor cleanup in category.agda