ct.category-theory पर टैग किए गए जवाब

बता दें कि CCC एक CCC है । Let C(×)(×)(\times) पर एक उत्पाद बाइफंकेटर हो । जैसा कि कैट सीसीसी है, हम ( × ) करी कर सकते हैं :CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B फ़नकार श्रेणी C⇒CC⇒CC \Rightarrow …

17 functional-programming  pl.programming-languages  ct.category-theory 

मैं रिलेशनल डेटाबेस को समझने के लिए कम से कम दो अलग-अलग सैद्धांतिक दृष्टिकोणों से अवगत हूं: कोडेड के रिलेशनल बीजगणित / कैलकुलस, और श्रेणी सिद्धांत। क्या इन दोनों दृष्टिकोणों के बीच कोई संबंध है? क्या वे कुछ अर्थों में समकक्ष हैं? क्या कोई परिचयात्मक कार्य है जो यह बताता …

17 reference-request  ct.category-theory  db.databases  relational-structures 

पृष्ठभूमि । मैं एक स्नातक छात्र हूं जो श्रेणी सिद्धांत, मोनाड्स और हास्केल से संबंधित अनुसंधान में रुचि रखता है, और मैं उस क्षेत्र में अपने स्नातक की थीसिस के लिए एक विषय खोजना चाहता हूं। मैंने कागज को देखा है यूजीनियो मोगी , " अभिकलन और मोनाड्स की धारणा …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

अस्वीकरण: मैं जटिलता सिद्धांत के बारे में बहुत कम जानता हूं। मुझे खेद है, लेकिन इस सवाल को पूछे बिना कोई रास्ता नहीं है (बहुत) संक्षिप्त रूप से: ट्यूरिंग मशीनों की "" श्रेणी में आकारिकी क्या होनी चाहिए? यह स्पष्ट रूप से व्यक्तिपरक है और सिद्धांत की व्याख्या पर निर्भर …

16 cc.complexity-theory  turing-machines  ct.category-theory 

कंपाइलर सत्यापन के प्रयास अक्सर कंपाइलर को पूरी तरह से अमूर्त साबित करने के लिए नीचे आते हैं: कि यह (प्रासंगिक) समकक्षों को संरक्षित और प्रतिबिंबित करता है। पूर्ण अमूर्त प्रमाण प्रदान करने के बजाय, हसेगावा [ 1 , 2 ] और एगर एट द्वारा कुछ हालिया (श्रेणी आधारित) संकलक …

15 pl.programming-languages  ct.category-theory  semantics  denotational-semantics  program-verification 

एक श्रेणी में बायप्रोडक्ट्स होते हैं जब एक ही वस्तु उत्पाद और उत्पाद दोनों होते हैं। क्या किसी ने बायप्रोडक्ट्स के साथ श्रेणियों के प्रमाण सिद्धांत की जांच की है? शायद सबसे प्रसिद्ध उदाहरण वेक्टर रिक्त स्थान की श्रेणी है, जिसमें प्रत्यक्ष योग और प्रत्यक्ष उत्पाद निर्माण समान वेक्टर स्थान …

15 reference-request  lo.logic  pl.programming-languages  type-theory  ct.category-theory 

क्या पैच की एक श्रेणी है जो लगभग इस तरह दिखती है: ऑब्जेक्ट कुछ आधार वर्णमाला में तार होते हैं आकारिकी को स्ट्रिंग्स के बीच स्क्रिप्ट ("भिन्न" या "पैच") संपादित किया जाता है मुझे इन सवालों में दिलचस्पी है: क्या न्यूनतम संपादन स्क्रिप्ट की श्रेणीबद्ध धारणा है ? हो सकता …

14 ct.category-theory  edit-distance 

एक कार्यात्मक भाषा को एक ऐसी श्रेणी के रूप में देखा जा सकता है, जहाँ इसकी वस्तुएँ प्रकार और आकारिकी उनके बीच कार्य करती हैं। इस मॉडल में टाइप कक्षाएं कैसे फिट होती हैं? मेरा मानना ​​है कि हमें केवल उन कार्यान्वयनों पर विचार करना चाहिए जो बाधा को संतुष्ट …

14 lo.logic  functional-programming  ct.category-theory  denotational-semantics  type-systems 

चूंकि मुझे पार्सर्स में दिलचस्पी है (मुख्य रूप से पार्सर अभिव्यक्ति व्याकरण में), मैं सोच रहा हूं कि क्या कुछ काम है जो पार्सिंग का एक श्रेणीबद्ध उपचार देता है। श्रेणी सिद्धांत के पार्सिंग के अनुप्रयोगों पर किसी भी संदर्भ की बहुत सराहना की जाती है। श्रेष्ठ,

13 reference-request  functional-programming  ct.category-theory  parsing 

मैं एक सैद्धांतिक कंप्यूटर वैज्ञानिक नहीं हूं। मैं एक स्थिर होमोटॉपी का उपयोग कर विचारक हूँ -categories। मैं सैद्धांतिक कंप्यूटर विज्ञान के वर्ग सिद्धांत और Topos सिद्धांत अनुप्रयोगों देखा है, और अगर वहाँ किसी भी तरह से किसी एक का उपयोग कर सकता था मैं सोच रहा था ∞ -categories …

12 lo.logic  soft-question  ct.category-theory 

क्या एनपी पूर्ण (या यहां तक ​​कि एनपी-हार्ड, या एनपी) समस्याएं हैं जिनका अध्ययन करने के लिए अच्छे सामयिक गुण हैं। क्या एनपी की समस्याओं में गाँठ का सिद्धांत है? हम जोन्स बहुपद के बारे में # परिणामों के बारे में जानते हैं । ग्राफ़ की समस्याएं (एम्बेडिंग?), विशेष रूप …

12 ct.category-theory  np 

मैंने प्रसिद्ध कॉमो 90 में फ्रीड के पेपर "बीजगणितीय पूर्ण श्रेणियाँ" को पढ़ा और मेरे पास उस पेपर में परिभाषित बीजीय कॉम्पैक्टनेस की धारणा के बारे में दो प्रश्न हैं। (यदि आप परिभाषा से परिचित नहीं हैं, तो यह यहां है: एक श्रेणी को बीजगणितीय रूप से कॉम्पैक्ट कहा जाता …

12 reference-request  type-theory  ct.category-theory 

यह देखते हुए एक endofunctor F:Set→SetF:Set→SetF : Set \rightarrow Set , हम कार्यों है कि किसी भी के लिए बहुरूपी होते हैं के रूप में अवलोकन कार्यों को परिभाषित कर सकते हैं FFF -coalgebra, है कि obsobsobs किसी के लिए परिभाषित किया गया है FFF -coalgebra ⟨A,c:A→FA⟩⟨A,c:A→FA⟩\langle A, c : …

12 ct.category-theory 

\newcommand{\symp}{\Bumpeq} एक सेट X पर एक सुसंगत रिश्ता \ symp_X≎X≎X\symp_X एक प्रतिवर्ती और सममित संबंध है। एक जुटना अंतरिक्ष एक जोड़ी है (एक्स, \ symp_X) , और एक आकारिता च: एक्स \ Y के लिए जुटना रिक्त स्थान के बीच एक रिश्ता है च \ subseteq X \ बार Y …

12 pl.programming-languages  ct.category-theory  domain-theory  linear-logic 

पैरामीट्रिक बहुरूपता के मॉडल को देखते हुए, मैं उत्सुक हूं कि रिफ्लेक्टिव ग्राफ श्रेणियों का उपयोग क्यों किया जाता है? विशेष रूप से, वे संबंधपरक रचना को शामिल क्यों नहीं करते हैं? मॉडलों को देखने में, वे सभी संबंधपरक रचना की एक स्वाभाविक धारणा का समर्थन करते हैं: x(R;S)z⟺∃y.xRy∧ySzx(R;S)z⟺∃y.xRy∧ySz x(R;S)z …

11 ct.category-theory  parametricity  logical-relations