Uncategories and empty categories — LessWrong