A Topos Formulation of Consistent Histories Export

@article{citeulike:3761331, abstract = {Topos theory has been suggested by Doring and Isham as an alternative mathematical structure with which to formulate physical theories. In particular it has been used to reformulate standard quantum mechanics in such a way that a novel type of logic is used to represent propositions. In this paper we extend this formulation to include temporally-ordered collections of propositions as opposed to single-time propositions. That is to say, we have developed a quantum history formalism in the language of topos theory where truth values can be assigned to temporal propositions. We analyse the extent to which such truth values can be derived from the truth values of the constituent, single-time propositions.}, archivePrefix = {arXiv}, author = {Flori, Cecilia}, citeulike-article-id = {3761331}, citeulike-linkout-0 = {http://arxiv.org/abs/0812.1290}, citeulike-linkout-1 = {http://arxiv.org/pdf/0812.1290}, eprint = {0812.1290}, keywords = {category-theory, quantum, topos-theory}, month = {Dec}, posted-at = {2008-12-23 05:28:01}, priority = {2}, title = {A Topos Formulation of Consistent Histories}, url = {http://arxiv.org/abs/0812.1290}, year = {2008} }

TY - JOUR ID - citeulike:3761331 L3 - citeulike-article-id:3761331 N2 - Topos theory has been suggested by Doring and Isham as an alternative mathematical structure with which to formulate physical theories. In particular it has been used to reformulate standard quantum mechanics in such a way that a novel type of logic is used to represent propositions. In this paper we extend this formulation to include temporally-ordered collections of propositions as opposed to single-time propositions. That is to say, we have developed a quantum history formalism in the language of topos theory where truth values can be assigned to temporal propositions. We analyse the extent to which such truth values can be derived from the truth values of the constituent, single-time propositions. TI - A Topos Formulation of Consistent Histories KW - category-theory KW - quantum KW - topos-theory AU - Flori, Cecilia PY - 2008/Dec/07/ UR - http://arxiv.org/abs/0812.1290 ER -