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

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

11 reference-request  ct.category-theory  parametricity 

সমানভাবে, সম্ভাব্য উচ্চতর অর্ডার কার্যকরী প্রোগ্রামিং ভাষাগুলির জন্য একটি জ্ঞাত ডেনোটেশনাল শব্দার্থবিজ্ঞান কি আছে? বিশেষ করে, সেখানে বিশুদ্ধ untyped একটি ডোমেন মডেল -calculus একটি প্রতিসম র্যান্ডম বাইনারি পছন্দ অপারেশন প্রসারিত।λλ\lambda প্রেরণা কার্টেসিয়ান বন্ধ বিভাগগুলি উচ্চতর-অর্ডার -ক্যালকুলিতে একটি শব্দার্থবিজ্ঞান সরবরাহ করে । সম্ভাব্য পাওয়ারডোমাইনগুলি স্টোকাস্টিক প্রোগ্রামগুলিকে শব্দার্থ সরবরাহ করে। একটি সম্ভাব্য …

10 pr.probability  lambda-calculus  ct.category-theory  denotational-semantics  domain-theory 

আমি নিম্নলিখিত টাইপ করা তত্ত্ব আছে |- 1_X : X -> X f : A -> B, g : B -> C |- compose(g,f) : A -> C F, f : A -> B |- apply(F,f) : F(A) -> F(B) সমস্ত পদ সমীকরণ সহ: f : A -> B, g …

10 lo.logic  pl.programming-languages  type-theory  ct.category-theory  automated-theorem-proving 

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

10 ct.category-theory  semantics  denotational-semantics  domain-theory 

বলুন যে আমি হোমোপি টাইপ তত্ত্বে কাজ করি এবং আমার পড়াশোনার একমাত্র বিষয়গুলি প্রচলিত বিভাগসমূহ categories সমতুল্যতা এখানে ফ্যান্ট্যাক্টর এবং যা বিভাগগুলির সমতা প্রদান করে ime । প্রাকৃতিক আইসোর্ফিজমগুলি রয়েছে এবং যাতে এই ফান্টেক্টর এবং "বিপরীত" ফান্ট্যাক্টর থাকে ইউনিট ফান্টারে রূপান্তরিত হয়।এফ: ডি ⟶ সিএফ:ডি⟶সিF:{\bf D}\longrightarrow{\bf C}জি : সি ⟶ …

10 type-theory  ct.category-theory  dependent-type  equivalence  homotopy-type-theory 

আমি কীভাবে প্রতিদিনের জীবনে মডেলিং সমস্যার ক্ষেত্রে সীমাবদ্ধতা এবং কলিমেটসের ধারণাটি ব্যবহার করতে পারি তা জানতে আগ্রহী? কেউ কি (সফ্টওয়্যার) ইঞ্জিনিয়ারিংয়ের উদাহরণ প্রদান করতে পারেন, সম্ভবত? বা আমরা এই ধারণাগুলি কী ধরণের মডেলিং সমস্যার জন্য ব্যবহার করতে পারি তার জন্য সাধারণভাবে স্বজ্ঞাতভাবে বর্ণনা করুন? ধন্যবাদ.

9 ct.category-theory 

এই প্রশ্নটি মূলত ম্যাথওভারফ্লোতে আমি যে প্রশ্নটি করেছি তা। মোনাডিক সেকেন্ড অর্ডার (এমএসও) লজিক হ'ল অনার প্রেডিকেটেসের চেয়ে বেশি পরিমাণে প্রমাণের সাথে দ্বিতীয় অর্ডার যুক্তি। সেটি হচ্ছে ওভার সেটের পরিমাণ বেশ কয়েকটি এমএসও লজিক রয়েছে যা কম্পিউটার বিজ্ঞানে অধ্যয়ন করা কাঠামোর জন্য মৌলিক। প্রশ্ন ১. মোনাডিক সেকেন্ড অর্ডার লজিকসের জন্য …

9 lo.logic  ct.category-theory 

সসীম পণ্য এবং অঙ্কগুলি থেকে তৈরি ফ্যাক্টরগুলির ক্লোজার অর্ডিনাল ome , ফ্রেঞ্চকাইস মেটায়ারের এই পাণ্ডুলিপিতে খুব সুন্দরভাবে বিস্তারিত । অর্থাৎ আমরা সূক্ষ্ম প্রকারের নাটকে পৌঁছাতে পারি : = \ মিউ এক্স। 1 + এক্স ফান্টর 1 + এক্স পুনরাবৃত্তি করে , যা \ ওমেগা পুনরাবৃত্তির পরে তার স্থির স্থানে পৌঁছে …

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