বাইপ্রোডাক্টসের প্রমাণ তত্ত্ব?


15

কোনও বিভাগে দ্বিপ্রডাক্ট থাকে যখন একই জিনিস দুটি পণ্য এবং কপোড্রাক্ট থাকে। কেউ কি বাইপ্রোডাক্টসের সাথে বিভাগগুলির প্রুফ তত্ত্বটি তদন্ত করেছে?

সম্ভবত সর্বাধিক পরিচিত উদাহরণটি ভেক্টর স্পেসগুলির বিভাগ, যাতে প্রত্যক্ষ যোগফল এবং সরাসরি পণ্য নির্মাণ একই ভেক্টরকে স্থান দেয়। এর অর্থ ভেক্টর স্পেস এবং লিনিয়ার মানচিত্রগুলি লিনিয়ার লজিকের একটি সামান্য হ্রাসপ্রাপ্ত মডেল এবং আমি উত্সাহী যে কোনও টাইপ থিওরি যা এই অবক্ষয়কে মেনে নেয়।


1
হয়তো ককেট এন্ড সিল? সম্ভবত লিনিয়ার বাইক বিভাগে ইন্ট্রো বা ম্যাথ.এমসিগিল.সিএ / আর্যাগস থেকে অন্য কিছু ।
ডেভ ক্লার্ক

সম্ভবত "দ্বি-পণ্যগুলির" "দ্বি" বিভ্রান্তিকর: এটি কিছু 2-শ্রেণিবদ্ধ জিনিস নয়, যখন একই বিষয়গুলি উভয় পণ্য এবং কপোড্রুক্ট (প্লাস কিছু সংহত শর্ত) হয় তখন সাধারণ শ্রেণিতে হয় it's
নীল কৃষ্ণস্বামী

হতে পারে তাদের কাগজ: ফাইন সুম - পণ্য লোগিক।
ডেভ ক্লার্ক

সামান্য অবক্ষয়? আমি বিশ্বাস করি পণ্য এবং কপোর্ডাক্টস সনাক্তকরণের অর্থ প্রাথমিক এবং টার্মিনাল অবজেক্টকে চিহ্নিত করা বোঝায় যা যথাক্রমে খালি এবং সিঙ্গলটন প্রকার, তুচ্ছ মিথ্যা এবং সত্য হিসাবে ব্যাখ্যা করা হয়। লিনিয়ার যুক্তিতে আমি মনে করি যে এটি যুক্তির পুরো যুক্তকারী অর্ধেকটিকে একটি স্ব-দ্বৈত ক্রিয়াকলাপের সাথে পৃথক করে একটি পরিচয় যা উভয় গুণকে ধ্বংস করে দেয়। অন্যদিকে, গুণগত খণ্ডটি লিনিয়ার যুক্তিগুলির আরও গঠনমূলক অর্ধেক হিসাবে থাকে, তাই এটি অন্য কোথাও আকর্ষণীয় দিকে নিয়ে যায় ...
সিএ ম্যাক্যান স্যান

3
@ ক্যাম্যাক্যান: যুক্তির বাইরেও গণিত রয়েছে। পরিবর্তিত বীজগণিতের মধ্যে প্রাথমিক এবং টার্মিনাল বস্তু সাধারণত সম্মত হয়, পাশাপাশি কপোড্রাক্টস এবং পণ্যগুলি। উদাহরণস্বরূপ, তুচ্ছ অ্যাবেলিয়ান গ্রুপ প্রাথমিক এবং টার্মিনাল উভয়ই। যে বস্তুটি প্রাথমিক এবং টার্মিনাল উভয়ই শূন্য বস্তু বলা হয়। এটি কীভাবে কাজ করে তার কিছুটা অন্তর্দৃষ্টি পেতে অ্যাবেলিয়ান বিভাগগুলি দেখুন।
আন্দ্রেজ বাউর 20

উত্তর:


8

স্যামসন আব্রামস্কি এবং আমি বাইপ্রোডাক্টস সহ কমপ্যাক্ট বিভাগগুলির প্রুফ তত্ত্ব সম্পর্কে একটি কাগজ লিখেছিলাম।

আব্রামস্কি, এস। ও ডানকান, আর। (2006) "এ বিভাগীয় কোয়ান্টাম লজিক", কম্পিউটার বিজ্ঞানে গাণিতিক কাঠামো 16 (3) 16 10,1017 / S0960129506005275

এই বইয়ের অধ্যায়ে পরে ধারণাগুলি আরও কিছুটা বিকাশ করা হয়েছিল:

ডানকান, রস (২০১০) কোয়ান্টাম কম্পিউটেশন, কেমব্রিজ ইউনিভার্সিটি প্রেস, পিপি 70--134 আরএক্সিভি: 0903.5154v1 এর শব্দার্থক কৌশলগুলিতে "বাইপ্রোডাক্টসের সাথে কমপ্যাক্ট বিভাগের জন্য জেনারালাইজড প্রুফ-নেটস"

পুরো বিশদটি এখানে রয়েছে, তবে সংক্ষিপ্ত সংস্করণটি হ'ল আপনার যুক্তিটি অসঙ্গত, কারণ আপনার প্রতিটি নিহিততার জন্য শূন্য প্রমাণ রয়েছে এবং আপনার বাকী সমস্ত প্রমাণগুলি "ম্যাট্রিক্স" এর সমতুল্য, যেখানে ম্যাট্রিক্স এন্ট্রিগুলি দ্বিপ্রদর্শকের প্রমাণ যুক্তির ফ্রি অংশ। এই সুনির্দিষ্ট করার জন্য প্রয়োজনীয় সতর্কতা ছাড়াই কথা বলার জন্য, প্রমাণগুলির ফলশ্রুতি বিভাগটি হ'ল কয়েকটি বিভাগের ফ্রি বাইপ্রোডাক্ট বিভাগ।


উপরের একটি ছোট সংযোজন: আমরা সাধারণ বিভাগের বিপরীতে কমপ্যাক্ট বিভাগগুলি বিবেচনা করি এই বিষয়টি দেখে সতর্ক হওয়ার দরকার নেই। আসলে এই যুক্তির যুক্ত এবং গুণক অংশগুলি বরং দুর্বলভাবে ইন্টারঅ্যাক্ট করে। দ্বিপ্রজেক্ট সম্পর্কিত অংশগুলি বেশিরভাগ ক্ষেত্রে বহন করা উচিত।
রস ডানকান

7

বিভাগের তত্ত্ব সম্পর্কে আমি বেশি কিছু জানি না তবে সম্ভবত এটি সহায়ক হবে। দ্বি-উত্পাদক বিভাগ [সেলিংগার] এর গ্রাফিক্যাল ডায়াগ্রামগুলিকে নিয়ন্ত্রিত সমীকরণগুলি নিরপেক্ষতা মুক্ত খণ্ডে গভীর অনুমানের প্রমাণ তত্ত্ব [গুগলিয়েমি] তে পারমাণবিক প্রবাহের জন্য ঠিক সমান [গুগলেন্মি]। এই প্রুফ সিস্টেমগুলি প্রাকৃতিক উপায়ে [ব্রুনলার, জেরব্যাক] একঘেয়েমি পর্যায়ক্রমিক ক্যালকুলাসের সমান।

দুর্ভাগ্যক্রমে মনে হয় যে পরবর্তী অঞ্চলে বিভাগ তত্ত্বের প্রতি কয়েকটি সংযোগ রয়েছে।

সেলিংগার, পি।

গন্ডারসন, টি।

গুগলিল্মি, এ। এলেসিয়ো.guglielmi.name/res/cos/

ব্রুনলার, কে। Www.iam.unibe.ch/~kai/Papers/n.pdf

জেরাক, ই www.math.cas.cz/~jerabek/papers/cos.pdf


অনেক ধন্যবাদ! এখনই উল্লেখগুলি অনুসরণ করতে আমি খুব ব্যস্ত, তবে আমি শীঘ্রই এগুলি দেখব।
নীল কৃষ্ণস্বামী
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.