Fibrational approach to Grandis exactness for 2-categories
Caviglia, Janelidze, Mesiti
In an abelian category, the (bi)fibration of subobjects is isomorphic to the (bi)fibration of quotients. This property captures substantial information about the exactness structure of a category. Indeed, as it was shown by the second author and T.~Weighill, categories equipped with a proper factorization system such that the opfibration of subobjects relative to the factorization system is isomorphic to the fibration of relative quotients are precisely the Grandis exact categories. In this paper we characterize those (1,1)-proper factorization systems on a 2-category in the sense of M.~Dupont and E.~Vitale, for which the weak 2-opfibration of relative 2-subobjects is biequivalent to the weak 2-fibration of relative 2-quotients. This results in a new notion of 2-dimensional exactness, which we then compare with similar notions in the context of categories enriched in pointed groupoids arising in the work of M.~Dupont and H.~Nakaoka.
academic
2-বিভাগের জন্য গ্র্যান্ডিস নির্ভুলতার প্রতি তন্তুময় পদ্ধতি
আবেলীয় বিভাগে, উপবস্তুর (দ্বৈত)তন্তুকরণ এবং ভাগফল বস্তুর (দ্বৈত)তন্তুকরণ সমরূপ। এই বৈশিষ্ট্য বিভাগের নির্ভুল কাঠামোর গুরুত্বপূর্ণ তথ্য ক্যাপচার করে। যেমনটি দ্বিতীয় লেখক এবং T. Weighill প্রমাণ করেছেন, উপযুক্ত বিয়োজন ব্যবস্থা সহ সজ্জিত বিভাগ, যেখানে সেই বিয়োজন ব্যবস্থার সাপেক্ষে উপবস্তু opfibration এবং আপেক্ষিক ভাগফল বস্তু fibration সমরূপ, তা ঠিক গ্র্যান্ডিস নির্ভুল বিভাগ। এই পত্রিকা 2-বিভাগের উপর সেই (1,1)-উপযুক্ত বিয়োজন ব্যবস্থাগুলি চিহ্নিত করে (M. Dupont এবং E. Vitale অর্থে), যাতে আপেক্ষিক 2-উপবস্তুর দুর্বল 2-opfibration এবং আপেক্ষিক 2-ভাগফল বস্তুর দুর্বল 2-fibration দ্বি-সমতুল্য। এটি 2-মাত্রিক নির্ভুলতার নতুন ধারণা প্রদান করে এবং বিন্দু-গ্রুপয়েড সমৃদ্ধ বিভাগের প্রেক্ষাপটে M. Dupont এবং H. Nakaoka এর অনুরূপ ধারণার সাথে তুলনা করা হয়।
এই পত্রিকা ক্লাসিক্যাল গ্র্যান্ডিস নির্ভুলতা তত্ত্বকে 1-বিভাগ থেকে 2-বিভাগে সাধারণীকরণ করার লক্ষ্য রাখে, তন্তুময় পদ্ধতির মাধ্যমে 2-মাত্রিক নির্ভুলতা তত্ত্ব প্রতিষ্ঠা করে।
সমজাতীয় বীজগণিতের 2-মাত্রিক সম্প্রসারণ: 2-মাত্রিক বিভাগে সমজাতীয় বীজগণিত একটি উদীয়মান এবং গুরুত্বপূর্ণ গবেষণা ক্ষেত্র, বিশেষত সমরূপী বিভাগ গ্রুপের সমজাতীয় বৈশিষ্ট্য অধ্যয়নে গুরুত্বপূর্ণ।
তন্তুময় তত্ত্বের প্রয়োগ: তন্তুময় তত্ত্ব বিভাগের নির্ভুল কাঠামো বোঝার জন্য গভীর জ্যামিতিক অন্তর্দৃষ্টি প্রদান করে, এটিকে 2-মাত্রায় সাধারণীকরণ করা উল্লেখযোগ্য তাত্ত্বিক মূল্য রাখে।
বিদ্যমান তত্ত্ব একীভূত করা: বিদ্যমান 2-মাত্রিক নির্ভুলতা ধারণা (যেমন Dupont এবং Nakaoka এর কাজ) একটি একীভূত তাত্ত্বিক কাঠামোর অভাব রাখে, এই পত্রিকা এমন একটি একীভূত দৃষ্টিভঙ্গি প্রদান করে।
তন্তুময় পদ্ধতির মাধ্যমে 2-মাত্রিক গ্র্যান্ডিস নির্ভুলতা তত্ত্ব প্রতিষ্ঠা করা, 2-মাত্রিক সমজাতীয় বীজগণিতের জন্য দৃঢ় তাত্ত্বিক ভিত্তি প্রদান করা এবং বিদ্যমান বিভিন্ন 2-মাত্রিক নির্ভুলতা ধারণা একীভূত করা।
2-আদর্শ ধারণা প্রবর্তন: 2-বিভাগে 2-আদর্শ (null morphisms এবং null 2-cells এর আদর্শ) এর কঠোর সংজ্ঞা প্রস্তাব করা, profunctor পদ্ধতির মাধ্যমে সম্পূর্ণ চিহ্নিতকরণ প্রদান করা।
2-মাত্রিক কার্নেল এবং কোকার্নেল তত্ত্ব প্রতিষ্ঠা: 2-আদর্শের সাপেক্ষে 2-কার্নেল (2-kernel) এবং 2-কোকার্নেল (2-cokernel) সংজ্ঞায়িত করা এবং তাদের মৌলিক বৈশিষ্ট্য প্রমাণ করা।
প্রধান সমতুল্যতা উপপাদ্য প্রমাণ: প্রমাণ করা যে 2-বিভাগ গ্র্যান্ডিস 2-নির্ভুল যদি এবং শুধুমাত্র যদি (1,1)-উপযুক্ত বিয়োজন ব্যবস্থা বিদ্যমান থাকে যাতে 2-ভাগফল বস্তুর দুর্বল 2-fibration এবং 2-উপবস্তুর দুর্বল 2-opfibration সেই 2-বিভাগে দ্বি-সমতুল্য।
দুর্বল নির্ভুলতা ধারণা প্রবর্তন: দুর্বল গ্র্যান্ডিস 2-নির্ভুল এবং দুর্বল Puppe 2-নির্ভুল এর ধারণা প্রস্তাব করা এবং প্রমাণ করা যে এই ধারণাগুলি Dupont এবং Nakaoka এর বিদ্যমান তত্ত্ব সাধারণীকরণ করে।
বিদ্যমান তত্ত্বের সাথে সংযোগ প্রতিষ্ঠা: প্রমাণ করা যে এই পত্রিকার তত্ত্ব সমস্ত 1-মাত্রিক আবেলীয় বিভাগ বিশেষ ক্ষেত্র হিসাবে অন্তর্ভুক্ত করে এবং বিদ্যমান 2-মাত্রিক নির্ভুলতা তত্ত্বের সাথে স্পষ্ট সংযোগ প্রতিষ্ঠা করা।
সংজ্ঞা 2.10: morphism f: A → B এর N-2-কার্নেল হল morphism k: K → A, সমরূপী 2-cell α: f∘k ≅ n (n একটি null morphism) সহ, সন্তুষ্ট করে:
1-মাত্রিক সার্বজনীন বৈশিষ্ট্য: যেকোনো z: Z → A এর জন্য যাতে f∘z একটি null morphism এর সমরূপ, অনন্য u: Z → K এবং সমরূপী 2-cell γ: z ≅ k∘u বিদ্যমান
2-মাত্রিক সার্বজনীন বৈশিষ্ট্য: morphisms u,v: Z → K এবং 2-cell λ: k∘u ⇒ k∘v এর জন্য, যদি সংশ্লিষ্ট 2-cell null হয়, তবে অনন্য μ: u ⇒ v বিদ্যমান যাতে k⋆μ = λ
Profunctor পদ্ধতি: 2-আদর্শ সংজ্ঞায়িত করতে profunctor পদ্ধতি ব্যবহার করা, যা সরাসরি 1-মাত্রিক সংজ্ঞা সাধারণীকরণের চেয়ে আরও প্রাকৃতিক এবং শক্তিশালী।
দুর্বল তন্তুময় ধারণা: দুর্বল 2-fibration ধারণা প্রবর্তন করা, যা শুধুমাত্র স্থানীয়ভাবে isofibration প্রয়োজন সম্পূর্ণ fibration এর পরিবর্তে, যা 2-মাত্রায় আরও উপযুক্ত।
আপেক্ষিক অর্থোগোনালিটি: দুর্বল নির্ভুল ক্ষেত্রে, আপেক্ষিক অর্থোগোনাল বিয়োজন ব্যবস্থার ধারণা প্রবর্তন করা, যা ক্লাসিক্যাল অর্থোগোনাল বিয়োজন ব্যবস্থার গুরুত্বপূর্ণ সাধারণীকরণ।
দ্বি-সমতুল্যতা বনাম সমরূপতা: 2-মাত্রায় কঠোর সমরূপতার পরিবর্তে দ্বি-সমতুল্যতা ব্যবহার করা, যা 2-বিভাগের সারমর্ম প্রতিফলিত করে।
পত্রিকা ৩৮টি গুরুত্বপূর্ণ সাহিত্য উদ্ধৃত করে, প্রধানত অন্তর্ভুক্ত করে:
I. Baković - 2-বিভাগের তন্তুময় তত্ত্বের ভিত্তি
M. Dupont - 2-মাত্রিক আবেলীয় বিভাগের অগ্রগামী কাজ
H. Nakaoka - 2-মাত্রিক সহসমজাতীয় তত্ত্ব এবং আপেক্ষিক নির্ভুলতা
Z. Janelidze & T. Weighill - 1-মাত্রিক গ্র্যান্ডিস নির্ভুলতার তন্তুময় পদ্ধতি
R. Street - 2-বিভাগ তত্ত্বের মৌলিক কাজ
এই সাহিত্যগুলি এই পত্রিকার তাত্ত্বিক বিকাশের গুরুত্বপূর্ণ ভিত্তি গঠন করে, লেখকদের সম্পর্কিত ক্ষেত্রের গভীর বোঝাপড়া এবং সম্পূর্ণ আয়ত্ত প্রতিফলিত করে।
সামগ্রিক মূল্যায়ন: এটি 2-মাত্রিক বিভাগ তত্ত্ব এবং সমজাতীয় বীজগণিত সংযোগস্থলে একটি উচ্চ মানের বিশুদ্ধ গাণিতিক তাত্ত্বিক পত্রিকা, যা গুরুত্বপূর্ণ অবদান প্রদান করে। যদিও প্রযুক্তিগতভাবে জটিল, তাত্ত্বিক মূল্য উল্লেখযোগ্য, 2-মাত্রিক সমজাতীয় বীজগণিতের বিকাশের জন্য গুরুত্বপূর্ণ ভিত্তি স্থাপন করে। পত্রিকার একীভূত দৃষ্টিভঙ্গি এবং তন্তুময় পদ্ধতির সফল সাধারণীকরণ উল্লেখযোগ্য পদ্ধতিগত তাৎপর্য রাখে।