among logicians, the same with category. See Category.