Can someone please help me figure out what a compliment of a category is for categorical logic? Thanks!