amongst logicians, is the same thing with category.