semicategory