A Cohesive -Topos with a Quantum Modality from Finite-Dimensional -Algebras
यह शोध पत्र एक सुसंगत (cohesive) -topos का निर्माण करता है जो परिमित-विमीय -बीजगणितों से व्युत्पन्न एक क्वांटम मोडैलिटी (quantum modality) से सुसज्जित है, जो डिकोहेरेंस (decoherence) की व्याख्या करने वाला, मल्टीप्लिकेटिव इंट्यूशनिस्टिक लीनियर लॉजिक का एक गैर-अपभ्रष्ट (non-degenerate) एफाइन मॉडल प्रदान करने वाला, और एक सिंथेटिक नो-क्लोनिंग प्रमेय स्थापित करने वाला कोहेसिव लीनियर होमोटॉपी टाइप थ्योरी का प्रथम कठोर मॉडल प्रदान करता है।