Categories in WHE