TY - RPRT TI - Composite systems and state transformations in topos quantum theory AU - Jisho Miyazaki PY - 2017 UR - https://arxiv.org/abs/1605.06936 ID - 1605.06936 ER -