fixed categories and exercises