আমরা যখন বইটি দেখি , হোমোপি টাইপ থিওরি - আমরা নিম্নলিখিত বিষয়গুলি দেখতে পাই:
Homotopy type theory
2.1 Types are higher groupoids
2.2 Functions are functors
2.3 Type families are fibrations
2.4 Homotopies and equivalences
2.5 The higher groupoid structure of type formers
2.6 Cartesian product types
2.7 S-types
2.8 The unit type
2.9 P-types and the function extensionality axiom
2.10 Universes and the univalence axiom
2.11 Identity type
2.12 Coproducts
2.13 Natural numbers
2.14 Example: equality of structures
2.15 Universal properties
এখন আমরা জানি যে মোটামোপি টাইপের সমস্ত তত্ত্বই সম্ভব নয় আগদা এবং কোক ।
আমার প্রশ্ন হ'ল: মোটরগি টাইপ তত্ত্বের কোন অংশগুলি আগদা বা কোকায় সম্ভব নয়?
4
একটি বিশেষভাবে সুবিন্যস্ত প্রশ্ন নয়। বিষয়ের তালিকা এবং প্রশ্নের মধ্যে সম্পর্ক কী?
—
ডেভ ক্লার্ক
@ ডেভ ক্লার্ক, বিষয়গুলির তালিকাটি প্রশ্নকারীর মনের প্রেক্ষাপটের মতো দেখায় যাতে উত্তরদাতা জানেন যে প্রশ্নকারীটির সূচনা পয়েন্টটি কী এবং সেই অনুসারে উত্তরটি দর্জি করতে পারে। অন্যান্য শিক্ষার্থীরাও একই প্রসঙ্গে উত্তরটির প্রশংসা করতে পারে এবং বুঝতে পারে যে উত্তরটি মানুষের পক্ষে প্রকৃতি সম্পর্কে চিন্তাশীল এবং নমনীয় হলে উত্তরটি তাদের পক্ষে কার্যকর হতে পারে। আশা করি এটি ভবিষ্যতের অন্যান্য কথোপকথনেও সহায়তা করে।
—
কোডশট