Mathematical object — LessWrong