প্রশ্ন ট্যাগ «homotopy-type-theory»

এ খুঁজছি homotopy টাইপ তত্ত্ব ব্লগ সহজেই Agda এবং Coq মধ্যে Homotopy প্রকার তত্ত্বের সবচেয়ে সেই মহাসংকটের গ্রন্থাগার অনেকটা খুঁজে পেতে পারেন। কেউ যদি কোনো অনুরূপ Hott ডিক্রী প্রচেষ্টা সচেতন ইদ্রিস ?

16 proof-assistants  homotopy-type-theory 

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

14 type-theory  dependent-type  homotopy-type-theory 

এটি কি সত্য যে সিআইসিতে অ্যাক্সিয়ম যুক্ত করার সংজ্ঞা এবং উপপাদগুলির গণ্য বিষয়বস্তুতে নেতিবাচক প্রভাব থাকতে পারে? আমি বুঝতে তত্ত্ব স্বাভাবিক আচরণ যে কোনো বদ্ধ শব্দটি তার ক্যানোনিকাল স্বাভাবিক ফর্ম, যেমন কমাতে হবে, সত্য হয় তাহলে এন ফর্মের একটি শব্দ কমাতে হবে ( গুলি তোমার দর্শন লগ করা গ গ …

13 type-theory  lambda-calculus  dependent-type  homotopy-type-theory 

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

10 lo.logic  type-systems  homotopy-type-theory 

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

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