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

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

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

আমি Applicativeবিভাগের তত্ত্বের দিক দিয়ে বুঝতে চাই । এর জন্য ডকুমেন্টেশনগুলিApplicative বলছে যে এটি একটি শক্তিশালী শৈথিলী মনোয়েডাল ফ্যাক্টর । প্রথমত, মোনোডিয়াল ফান্টেক্টর সম্পর্কিত উইকিপিডিয়া পৃষ্ঠাতে বলা হয়েছে যে মোনোডিয়াল ফান্ট্যাকারটি হয় শিথিল বা শক্তিশালী । সুতরাং এটি আমার কাছে মনে হয় যে কোনও একটি উত্সই ভুল, অথবা তারা পদগুলি …

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 

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

28 puzzles  ct.category-theory  topology 

গ্রোথেন্ডিক মারা গেছেন । তিনি একবিংশ শতাব্দী অবধি অবধি 20 শতকের গণিতে ব্যাপক প্রভাব ফেলেছিলেন। এই প্রশ্নটি কিছুটা স্টাইল / স্পিরিটে জিজ্ঞাসা করা হয়েছে, উদাহরণস্বরূপ, কম্পিউটার বিজ্ঞানে অ্যালান টুরিংয়ের অবদানগুলির । তাত্ত্বিক কম্পিউটার বিজ্ঞানের উপর গ্রোথেন্ডিকের প্রধান প্রভাবগুলি কী কী ?

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

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

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

বিভাগ তত্ত্বের ক্ষেত্রে ফিউচার বা প্রতিশ্রুতির কোনও কার্যকর বিবরণ আছে কি ? বিশেষত, ভবিষ্যতের শ্রেণীবদ্ধ দ্বৈত কী হতে পারে?

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

একটি কার্টিজিয়ান বন্ধ শ্রেণী ( সিসিসি ), সেখানে তথাকথিত অস্তিত্ব সূচকীয় বস্তু , লিখিত । একটি সিসিসি মডেল হিসাবে বিবেচনা করা হয় যখন কেবল টাইপ -calculus মত একটি সূচকীয় বস্তুর ধরণ থেকে ফাংশন স্থান চরিত্রকে টাইপ । ত্রি বলে একটি তীর দ্বারা একটি সূচকীয় পদার্থ প্রবর্তন করা হয় এবং নামক …

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

আমি লক্ষ্য করেছি যে বর্ণমালার উপর নিয়মিত ভাষা স্বাভাবিকভাবেই একটি পোসেট, এবং প্রকৃতপক্ষে একটি জাল হিসাবে বিবেচনা করা যেতে পারে। তাছাড়া, খালি ভাষা সঙ্গে সংযুক্তকরণের একসঙ্গে এই বিষয়শ্রেণীতে যে বিভাজক উপর যোগদান (আমি নই সম্পর্কে নিশ্চিত পূরণ করে) একটি কঠোর monoidal গঠন সংজ্ঞায়িত করে। এটি নিয়মিত ভাষাগুলির তত্ত্ব বা অনুশীলনে …

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↑Applicative functors↑MonadsFunctors↑???↑ComonadsFunctorsFunctors↑↑Applicative functors???↑↑MonadsComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ \uparrow & & …

17 ct.category-theory  monad  applicative  comonad 

আমি " ফাংশনাল অ্যালগোরিদম ডিজাইনের মুক্তো " পড়ার চেষ্টা করেছি এবং পরবর্তীকালে " প্রোগ্রামিংয়ের বীজগণিত ", এবং পুনরাবৃত্তির সাথে (এবং বহুভিত্তিক) সংজ্ঞায়িত ডেটা টাইপ এবং সংযোজক বস্তুর মধ্যে একটি সুস্পষ্ট চিঠিপত্র আছে, একই পুনরাবৃত্ত সংজ্ঞা এবং পরে নেতৃত্ব সংযুক্তি প্রজাতির (যেমন " প্রজাতি এবং ফান্টেক্টর এবং প্রকারগুলি, ওহ মাই! ") …

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