কোয়ান্টাম গণনা
একটি অত্যন্ত আকর্ষণীয় ক্ষেত্র হ'ল কোয়ান্টাম গণনাতে বিভিন্ন মনোনির্বাহী বিভাগের প্রয়োগ। কিছু তর্ক করতে পারে যে এটি পদার্থবিজ্ঞানও, তবে কাজটি কম্পিউটার বিজ্ঞান বিভাগের লোকেরা করেন। এই অঞ্চলের একটি প্রাথমিক কাগজটি হলেন স্যামসন আব্রামস্কি এবং বব কোক্কের কোয়ান্টাম প্রোটোকলের একটি স্পষ্টিকর শব্দার্থবিদ্যা; দ্বারা অনেক সাম্প্রতিক কাগজপত্র Abramsky এবং Coecke এবং অন্যদের এই দিক কাজ চালিয়ে যান।
কাজের এই দেহে কোয়ান্টাম প্রোটোকলগুলি (নির্দিষ্ট ধরণের) কমপ্যাক্ট বদ্ধ শ্রেণি হিসাবে অক্ষরূপিত হয়। স্ট্রিং (এবং ফিতা) ডায়াগ্রামের ক্ষেত্রে এই ধরণের বিভাগগুলির একটি সুন্দর গ্রাফিকাল ভাষা রয়েছে। বিভাগে সমীকরণগুলি স্ট্রিংগুলির নির্দিষ্ট গতিগুলির সাথে সামঞ্জস্য করে, যেমন একটি জটযুক্ত তবে গিঁটযুক্ত স্ট্রিং সোজা করা, যা কোয়ান্টাম মেকানিক্সের অর্থপূর্ণ কিছুটির সাথে মিলে যায় যেমন কোয়ান্টাম টেলিপোর্টেশন।
শ্রেণীবদ্ধ পদ্ধতির একটি উচ্চ স্তরের, সাধারণত খুব নিম্ন স্তরের গণনা জড়িত সে সম্পর্কে যৌক্তিক দৃষ্টিভঙ্গি সরবরাহ করে।
সিস্টেমের তত্ত্ব
কোলজেব্রা মডেল সিস্টেমগুলির (স্ট্রিম, অটোমেটা, ট্রানজিশন সিস্টেম, সম্ভাব্য সিস্টেম) সাধারণ কাঠামো হিসাবে ব্যবহৃত হয়েছে। এর তত্ত্বটি মূলত বিভাগের তত্ত্বে মূলত , কোয়েলজেব্রার ধারণার উপর ভিত্তি করে , যেখানে
একটি ফান্টেক্টর যা রূপান্তর ব্যবস্থার কাঠামো বর্ণনা করে। সুতরাং, অন্তর্নিহিত ফান্টারের সাথে সিস্টেমের ধরণের পরিবর্তন ঘটে তবে বিসিমুলেশন ধারণার মতো তত্ত্বের অনেকগুলিই সমস্ত ফান্ট্যাক্টারের জন্য প্রযোজ্য। বিভাগ তত্ত্বটি
কোলজিব্রা হিসাবে বর্ণিত সিস্টেমগুলি সম্পর্কে যুক্তির জন্য মডেল লজিকগুলির মডুলার নির্মাণকে সক্ষম করে ।FF
গ্রাফ রূপান্তর
বিভাগের তত্ত্বের ভাষায় গ্রাফ রূপান্তরগুলি বেশ সুন্দরভাবে প্রকাশ করা যেতে পারে। উদাহরণস্বরূপ, মডেল রূপান্তর (ইউএমএল মডেলগুলিতে) এবং অন্যান্য ভিজ্যুয়াল মডেলিংয়ের আনুষ্ঠানিকতায় এটি প্রয়োগ পেয়েছে। গ্রাফ এবং গ্রাফ হোমোমর্ফিজমের বিভাগে এই পদ্ধতির স্থান হয়। প্রথমত, একটি pushout একটি gluing নির্মাণ হিসেবে দেখা যেতে পারে: প্রদত্ত দুই গ্রাফ । একটি গ্রাফ এবং দুটি এবং
দুটি গ্রাফের যে অংশগুলি রয়েছে তা বোঝায়। এই অংশগুলিকে একত্রিত করে, এবং এর অবশিষ্ট অংশগুলি যুক্ত করে, , এবং
একসাথে gluing করেG1,G2Pe1:P→G1e2:P→G2G1G2G1G2P ।
একটি ডাবল পুশআউট গ্রাফ রূপান্তর বর্ণনা করতে ব্যবহৃত হয়। বিধিটি একটি টিউপল দ্বারা প্রতিনিধিত্ব করা হয় , যেখানে নিয়মের পূর্বশর্তকে বোঝায় , বিধিটির পোস্টের শর্তটি চিহ্নিত করে এবং গ্রাফের অংশটি নিয়ম প্রয়োগ করার জন্য চিহ্নিত করে। এবং পর্যন্ত মানচিত্র রয়েছে , যার একটিতে মূল গ্রাফের একটি অংশ মেলে ব্যবহার করা হবে, অন্যটি ফলাফল গ্রাফ তৈরি করতে। মুছে ফেলার জন্য গ্রাফের অংশটি বর্ণনা করে। অংশটি তৈরি হওয়ার অংশটি বর্ণনা করে। একটি মানচিত্র থেকে
একটি মধ্যে প্রসঙ্গ(L,K,R)LRKl:K→Lr:K→RL∖KR∖KdKগ্রাফ প্রদান করা প্রয়োজন, এবং pushout এবং মানচিত্র সুদের গ্রাফ সমান প্রয়োজন । এবং এর পুশআউটটি
তখন রূপান্তর সম্পাদনের ফলাফল দেয়।DdlGdk
প্রোগ্রামিং ভাষা (ম্যাথওভারফ্লো মাধ্যমে)
প্রোগ্রামিং ল্যাঙ্গুয়েজ এবং প্রোগ্রামিং ল্যাঙ্গুয়েজ তত্ত্বের নকশায় ক্যাটাগরি তত্ত্বের প্রচুর প্রয়োগ রয়েছে। ম্যাথওভারফ্লোতে বিস্তৃত উত্তর পাওয়া যাবে। https://mathoverflow.net/questions/3721/programming-languages-based-on-category-theory )
https://mathoverflow.net/questions/4235/relating-category-theory-to-programming-language-theory ।
বিগ্রাফ - প্রক্রিয়া ক্যালকুলি
অবশেষে, মিলনার বিগ্রাফগুলি রয়েছে , ইন্টারেক্টিভ এজেন্টগুলির সিস্টেমগুলি সম্পর্কে বর্ণনা এবং যুক্তির জন্য একটি সাধারণ কাঠামো। প্রক্রিয়া বীজগণিত এবং তাদের কাঠামোগত এবং আচরণগত তত্ত্বগুলি সম্পর্কে যুক্তির জন্য সাধারণ কাঠামো হিসাবে দেখা যেতে পারে। পদ্ধতির এছাড়াও pushouts উপর ভিত্তি করে।