Categories in Theorie