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

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

103 pl.programming-languages  lo.logic  ct.category-theory 

मैं Applicativeश्रेणी सिद्धांत के संदर्भ में समझना चाहूंगा । के लिए प्रलेखन का Applicativeकहना है कि यह एक मजबूत लक्ष्मण monoidal functor है । पहला, विकिपीडिया पृष्ठ मोनोइडल फ़ंक्शनलर्स के बारे में कहता है कि एक मोनोइडल फ़ंक्टर या तो ढीला या मजबूत है । इसलिए मुझे ऐसा लगता है …

40 lo.logic  type-theory  functional-programming  ct.category-theory 

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

33 soft-question  algebra  advice-request  ct.category-theory 

क्या यह विभिन्न उदाहरणों के बीच पाली-समय में कटौती के रूप में सभी एनपी-पूर्ण समस्याओं की एक श्रेणी पर विचार करने के लिए समझ में आता है? क्या किसी ने कभी इस बारे में एक पेपर प्रकाशित किया है, और यदि हां, तो मुझे यह कहां मिल सकता है?

28 cc.complexity-theory  np-hardness  ct.category-theory 

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

28 puzzles  ct.category-theory  topology 

ग्रोथेंडिक का निधन हो गया है । 20 वीं सदी के गणित पर 21 वीं सदी में जारी रहने का उनका व्यापक प्रभाव था। यह प्रश्न कुछ हद तक शैली / भावना से पूछा जाता है, उदाहरण के लिए, कंप्यूटर विज्ञान के एलन ट्यूरिंग के योगदान के लिए । सैद्धांतिक …

27 big-picture  ct.category-theory  ho.history-overview 

संभवतः PL में रैखिक प्रकारों का सबसे आम अनुप्रयोग उन भाषाओं को देने के लिए उपयोग करना है जो अलियासिंग को नियंत्रित करते हैं (यानी, एक रैखिक मान इसके लिए एक एकल सूचक है, कम या ज्यादा)। लेकिन इस उपयोग और रैखिक तर्क के विशिष्ट संप्रदाय मॉडल के बीच एक …

23 pl.programming-languages  ct.category-theory  imperative-programming  denotational-semantics  linear-logic 

क्या श्रेणी सिद्धांत के संदर्भ में वायदा या वादों का एक उपयोगी वर्णन है ? विशेष रूप से, भविष्य का स्पष्ट दोहरी क्या हो सकता है?

22 pl.programming-languages  ct.category-theory  concurrency 

एक में कार्तीय बंद श्रेणी ( सीसीसी ), वहाँ तथाकथित मौजूद घातीय वस्तुओं , लिखा । जब CCC को बस टाइप किए गए -calculus के मॉडल के रूप में माना जाता है , तो जैसी एक घातीय वस्तु प्रकार से टाइप तक के फंक्शन स्पेस की विशेषता होती है । …

21 type-theory  lambda-calculus  ct.category-theory 

मैं वर्णमाला के ऊपर है कि नियमित भाषाओं देखा स्वाभाविक रूप से एक poset के रूप में सोचा जा सकता है एक जाली, और वास्तव में। इसके अलावा, खाली भाषा के साथ संयोजन एक साथ ε इस श्रेणी है कि वितरण से अधिक मिलती है (मैं नहीं कर रहा हूँ …

21 fl.formal-languages  regular-language  ct.category-theory 

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

20 ds.data-structures  algebra  ct.category-theory 

कई प्रमेय और "विरोधाभास" - कैंटर के विकर्णीकरण, घृणा की अनिर्वायता, कोलमोगोरोव जटिलता की अयोग्यता, गोडेल इनकम्प्लेन्टेस, चैटिन इनकम्प्लेसेनेस, रसेल के विरोधाभास, आदि - सभी अनिवार्य रूप से विकर्णकरण द्वारा एक ही प्रमाण है (ध्यान दें कि यह विशिष्ट है) विकर्णकरण से सभी सिद्ध होते हैं, बल्कि, ऐसा लगता है …

17 lo.logic  computability  ct.category-theory  kolmogorov-complexity 

करी-हावर्ड-लाम्बक से शुरू होकर, प्रकार के सिद्धांत, तर्कशास्त्र और श्रेणियों का एक अच्छा ट्रिनिटी रहा है। मुझे उत्सुकता है कि एक प्रकार के सिद्धांत के साथ जोड़ते समय आपको कौन सा स्पष्ट शब्दार्थ मिलता है (जबरदस्ती) - ऐसा लगता है कि यह बहुत खोजबीन नहीं की गई है, यदि बिल्कुल। …

17 lo.logic  type-theory  ct.category-theory 

कोई भी मोनाड एक आवेदक फ़नकार है और कोई भी आन्तरिक फ़नकार एक फ़नकार है। साथ ही, कोई भी कॉमनैड एक फनकार है। क्या कोमोनॉड्स और फंक्शनलर्स के बीच एक समान अवधारणा है, सह-आवेदक फ़ंक्टर की तरह कुछ है, और इसके गुण क्या हैं? \begin{array}{c} \end{array} functors↑एप्लाइड फंक्शनलर्स↑monadsfunctors↑? ? ?↑Comonadsfunctorsfunctors↑↑एप्लाइड …

17 ct.category-theory  monad  applicative  comonad 

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

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory