क्वांटम कम्प्यूटेशन
एक बहुत ही दिलचस्प क्षेत्र क्वांटम गणना के लिए विभिन्न मोनोइडल श्रेणियों का अनुप्रयोग है। कुछ लोग तर्क दे सकते हैं कि यह भी भौतिकी है, लेकिन यह काम कंप्यूटर विज्ञान विभागों के लोगों द्वारा किया जाता है। इस क्षेत्र में एक प्रारंभिक पेपर सैमसन अब्रामस्की और बॉब कोएके द्वारा क्वांटम प्रोटोकॉल का एक श्रेणीबद्ध शब्दार्थ है । अब्रामस्की और कोएके और अन्य लोगों द्वारा हाल ही में किए गए कुछ कागजात इस दिशा में काम जारी रखते हैं।
काम के इस शरीर में क्वांटम प्रोटोकॉल को (कुछ प्रकार के) कॉम्पैक्ट बंद श्रेणियों के रूप में स्वयंसिद्ध किया जाता है। ऐसी श्रेणियों में स्ट्रिंग (और रिबन) आरेखों के संदर्भ में एक सुंदर चित्रमय भाषा है। श्रेणी में समीकरण स्ट्रिंग्स के कुछ आंदोलनों के अनुरूप हैं, जैसे कि एक पेचीदा लेकिन नॉटेड स्ट्रिंग को सीधा करना, जो क्वांटम यांत्रिकी में कुछ सार्थक के अनुरूप होता है, जैसे क्वांटम टेलीपोर्टेशन।
श्रेणीबद्ध दृष्टिकोण एक उच्च स्तर, तार्किक दृष्टिकोण प्रदान करता है जिसमें आम तौर पर बहुत कम स्तर की गणना शामिल होती है।
सिस्टम का सिद्धांत
कोलजेब्रा का इस्तेमाल मॉडल सिस्टम (स्ट्रीम, ऑटोमेटा, ट्रांजिशन सिस्टम, प्रोबेबिलिस्टिक सिस्टम) के लिए एक सामान्य ढांचे के रूप में किया गया है। इसका सिद्धांत श्रेणी के सिद्धांत में निहित है, टैल्जेब्रा की धारणा पर आधारित है , जहां
एक फंक्टर है जो संक्रमण प्रणाली की संरचना का वर्णन करता है। इस प्रकार, अंतर्निहित फ़ंक्शनल के साथ सिस्टम की तरह बदल जाती है, लेकिन सिद्धांत के अधिकांश, जैसे कि बाइसीम्यूलेशन की धारणा, सभी फंक्शनलर्स के लिए लागू होती है। श्रेणी सिद्धांत भी
कोलजब्रस के रूप में वर्णित प्रणालियों के बारे में तर्क के लिए मॉड्यूलर लॉगिक्स के मॉड्यूलर निर्माण को सक्षम करता है ।FF
ग्राफ रूपांतरण
श्रेणी सिद्धांत की भाषा में ग्राफ रूपांतरणों को काफी अच्छी तरह से व्यक्त किया जा सकता है। इसने आवेदन पाया है, उदाहरण के लिए, मॉडल परिवर्तन (यूएमएल मॉडल में) और अन्य दृश्य मॉडलिंग औपचारिकताएं। दृष्टिकोण रेखांकन और ग्राफ समरूपता की श्रेणी में होता है। सबसे पहले, एक पुशआउट को एक ग्लूइंग कंस्ट्रक्शन के रूप में देखा जा सकता है: दो ग्राफ़ को देखते हुए । एक ग्राफ और दो आकार और
उन हिस्सों को निरूपित करते हैं, जिनके दो रेखांकन आम हैं। पुशआउट इन भागों को एकजुट करता है, और के शेष हिस्सों को जोड़ते हुए , प्रभावी रूप से, और
एक साथ जोड़ देता हैG1,G2Pe1:P→G1e2:P→G2G1G2G1G2P ।
एक ग्राफ परिवर्तन का वर्णन करने के लिए एक डबल पुशआउट का उपयोग किया जाता है। नियम एक टपल का प्रतिनिधित्व करती है , जहां शासन की पूर्व शर्त को दर्शाता है, शासन के पद हालत को दर्शाता है, और ग्राफ को नियम लागू करना का हिस्सा बताता है। से मानचित्र हैं और , जिनमें से एक का उपयोग मूल ग्राफ के एक हिस्से से मेल खाने के लिए किया जाएगा, दूसरा परिणामस्वरूप ग्राफ बनाने के लिए। उस हिस्से को हटाए जाने का वर्णन करता है। द्वारा बनाए जाने वाले भाग का वर्णन करता है। एक नक्शा से
एक में संदर्भ(L,K,R)LRKl:K→Lr:K→RL∖KR∖KdKग्राफ को प्रदान करने की आवश्यकता है, और का पुशआउट और मैप को ब्याज के ग्राफ के बराबर होना चाहिए । और का पुशआउट
फिर परिवर्तन करने का परिणाम देता है।DdlGdk
प्रोग्रामिंग लैंग्वेज (मैथओवरफ़्लो के माध्यम से)
प्रोग्रामिंग भाषाओं और प्रोग्रामिंग भाषा सिद्धांत के डिजाइन में श्रेणी सिद्धांत के बहुत सारे अनुप्रयोग हैं। MathOverflow पर व्यापक उत्तर मिल सकते हैं। https://mathoverflow.net/questions/3721/programming-languages-based-on-category-theory )
https://mathoverflow.net/questions/4235/relating-category-theory-to-programming-language-theory ।
Bigraphs - प्रोसेस कैल्कुली
अंत में, मिलनर के बिग्रेड्स हैं , बातचीत करने वाले एजेंटों के सिस्टम के बारे में वर्णन और तर्क के लिए एक सामान्य रूपरेखा। इसे प्रक्रिया बीजगणित और उनके संरचनात्मक और व्यवहार सिद्धांतों के बारे में तर्क के लिए एक सामान्य ढांचे के रूप में देखा जा सकता है। दृष्टिकोण भी पुशआउट्स पर आधारित है।