generalized n-categories? — LessWrong