Cartesian Frames and Factored Sets on ArXiv — LessWrong