প্রশ্ন ট্যাগ «ct.category-theory»

কে সিসিসি করা যাক । আসুন তে একটি পণ্য দ্বিখণ্ডক হয়ে উঠুন । বিড়ালটি সিসিসি হিসাবে , আমরা তরকারী করতে পারি :( × ) সি ( × )CCC(×)(×)(\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 …

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

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

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

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

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

দাবি অস্বীকার: জটিলতা তত্ত্ব সম্পর্কে আমি খুব কম জানি। আমি দুঃখিত তবে এই প্রশ্নটি জিজ্ঞাসা করার কোনও উপায় নেই (ভয়ঙ্কর) সংক্ষিপ্ত হওয়া ছাড়া: ট্যুরিং মেশিনগুলির "" "বিভাগের আকারটি কী হওয়া উচিত? এটি স্পষ্টতই বিষয়গত এবং এটি তত্ত্বের ব্যাখ্যাটির উপর নির্ভর করে, সুতরাং এই প্রশ্নের উত্তরটি উত্তরকে সমর্থন করার জন্য কিছু …

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

সংকলক যাচাইকরণের প্রচেষ্টা প্রায়শই কমপ্লায়ার সম্পূর্ণ বিমূর্ত প্রমাণ করার জন্য নেমে আসে: এটি (প্রাসঙ্গিক) সমতা রক্ষা করে এবং প্রতিফলিত করে। সম্পূর্ণ বিমূর্ততার প্রমাণ সরবরাহ করার পরিবর্তে, কিছুটা সাম্প্রতিক (শ্রেণীবদ্ধ ভিত্তিক) সংকলক যাচাইকরণের কাজ হাসেগাওয়া [ 1 , 2 ] এবং এগার এট দ্বারা। অল। [ 3 ] বিভিন্ন সিপিএস অনুবাদগুলির …

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 

মোটামুটি দেখতে দেখতে এমন কোনও প্যাচ রয়েছে যা: কিছু বেস বর্ণমালায় বস্তুগুলি স্ট্রিং হয় রূপগুলি হ'ল স্ট্রিংগুলির মধ্যে লিখিত সম্পাদনা ("ডিফ্স" বা "প্যাচগুলি") আমি এই প্রশ্নগুলিতে আগ্রহী: নূন্যতম সম্পাদনা স্ক্রিপ্টের বিভাগীয় ধারণা আছে ? প্যাচগুলির বিভাগটি পিও-সেটে সমৃদ্ধ হয়? হয় মার্জ শ্রেণীগত pushout প্যাচ? কীভাবে এটি স্ট্রিং থেকে গাছে (একটি …

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 

আমি কোনও তাত্ত্বিক কম্পিউটার বিজ্ঞানী নই। আমি একটি স্থিতিশীল homotopy ব্যবহার তাত্ত্বিক নই -categories। আমি তাত্ত্বিক কম্পিউটার বিজ্ঞান বিভাগ তত্ত্ব ও topos তত্ত্ব অ্যাপ্লিকেশনের দেখা করেছি, এবং যদি কোন উপায় আছে একটি ব্যবহার ছিল আমি ভাবছিলাম ∞ -categories তাত্ত্বিক কম্পিউটার বিজ্ঞান (এবং বিশেষ করে আমার জন্য, স্থিতিশীল homotopy তত্ত্ব)। আমি …

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

এখানে কি এনপি সম্পূর্ণ (বা এমনকি এনপি-হার্ড, বা এনপি) সমস্যা রয়েছে যাদের অধ্যয়নের জন্য ভাল টপোলজিকাল বৈশিষ্ট্য রয়েছে। এনপি সমস্যাগুলি কি তাত্ত্বিক সূত্রগুলি গাঁটতে পারে? আমরা জোস বহুপদী সম্পর্কে # ফলাফল সম্পর্কে জানি । গ্রাফ সমস্যা (এম্বেডিংস?), বিশেষত গ্রাফের রংগুলিতে দুর্দান্ত গিরিতাত্ত্বিক বৈশিষ্ট্য দেখা যায়। এটি একটি মুক্ত সমাপ্ত প্রশ্ন, …

12 ct.category-theory  np 

আমি বিখ্যাত কমো 90 তে ফ্রয়েডের কাগজ "বীজগণিত সংক্রান্ত সম্পূর্ণ বিভাগগুলি" পড়েছিলাম এবং সেই কাগজে তিনি বীজগণিতের সংক্ষিপ্ততার ধারণাটি সম্পর্কে আমার দুটি প্রশ্ন রয়েছে। (আপনি যদি সংজ্ঞাটির সাথে পরিচিত না হন তবে এখানে এটি রয়েছে: প্রতিটি বিভাগে প্রাথমিক বীজগণিত এবং একটি চূড়ান্ত সহ-বীজগণিত থাকে যা প্রচলিতভাবে আইসোমরফিক হয় A একটি …

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

প্রদত্ত একটি endofunctor , আমরা ফাংশন যে কোনো জন্য বহুরুপী হিসাবে পর্যবেক্ষণ কার্যক্রম সংজ্ঞায়িত করতে পারবেন এফ -coalgebra হলো, হে খ গুলি কোন সংজ্ঞায়িত করা হয় এফ -coalgebra ⟨ একজন , গ : একজন → এফ একজন ⟩ । ণ খ গুলি : ∀ ⟨ একজন , গ ⟩ । …

12 ct.category-theory 

\newcommand{\symp}{\Bumpeq} একটি সেট এক্স এর মধ্যে একটি সম্পর্ক একটি এবং প্রতিসম সম্পর্ক। একত্রিত স্থান হ'ল একজোড়া (এক্স, \ সিম্প_এক্স) , এবং একটি মরফিজম f: X \ থেকে Y এর সুসংগত স্থানগুলির মধ্যে একটি সম্পর্ক f \ সাবটেক এক্স X বার Y এর মতো যা সকলের জন্য (x, y) f f …

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 \iff \exists y. xRy \wedge y S z রিফ্লেক্সিভ …

11 ct.category-theory  parametricity  logical-relations