extension of categories