में उपयोग की जाने वाली शब्दावली बताता है, मैं Edward Kmett के Lens पैकेज में दस्तावेज़ पढ़ने की कोशिश कर रहा हूं। मैं उपयोग की जाने वाली कई शर्तों से परिचित नहीं हूं (प्रोफेसर, आइसोमोर्फिज्म, मोनोमोर्फिक, contravariant, bifunctor, आदि ...)संसाधन जो एडवर्ड Kmett के लेंस पैकेज
इस शब्दावली में से कुछ सीखने के लिए जाने के लिए एक अच्छा संसाधन क्या होगा यह पुस्तकालय
ये category theory से हैं। संसाधनों के लिए, एड स्वयं के पास some suggestions है। निजी तौर पर, मैंने लॉवर और Awodey के Category Theory द्वारा Conceptual Mathematics की अपनी सिफारिशों को दूसरी बार दोहराया।
वे थोड़ा अधिक उन्नत (* संकल्पनात्मक गणित * के सापेक्ष) हैं, लेकिन [कैटस्टर वीडियो] (https://byorgey.wordpress.com/catsters-guide-2/#introduction) * के लिए एक अच्छा जोड़ा कर सकते हैं * अवधारणात्मक गणित * और * श्रेणी सिद्धांत *। –
कैटस्टर वीडियो बहुत अच्छे हैं! –
निश्चित रूप से सहमत! मैं डॉ चेंग की नवीनतम पुस्तक (* हाउ टू बेक π *) पढ़ रहा हूं और, हालांकि यह मुख्य रूप से गैर-गणितीय दर्शकों के लिए लिखा गया है, यह कुछ सामान्य विचारों और श्रेणी सिद्धांत की शब्दावली के बारे में बात करता है (कुछ अच्छे के साथ बेकिंग व्यंजनों) ने अपनी मनोरंजक, उत्साही शैली में लिखा है। चीजों और कुछ स्पष्ट विषयों को देखने के स्पष्ट तरीके के बारे में कुछ विचार प्राप्त करने के लिए यह एक और संभावित संसाधन हो सकता है, लेकिन यह तकनीकी पक्ष पर थोड़ा सा है। इसके अलावा, मेरी राय में, (लागू और शुद्ध) गणित की एक बहुत ही प्रभावी और स्पष्ट रक्षा है। –
यदि आप इस प्रश्न को फिर से पूछने के लिए कहें कि शब्दावली का मूल या अर्थ क्या है, तो इसे ऑफ-साइट संसाधन के रूप में भ्रमित नहीं किया जाएगा। – Cirdec
मुझे हमेशा बार्टोस की श्रृंखला पसंद है, http://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ –
मुझे एमआईटी पर "विज्ञान के लिए श्रेणी सिद्धांत" के व्याख्यान नोट मिले ओसीडब्लू] (http://ocw.mit.edu/courses/mathematics/18-s996-category-theory-for- वैज्ञानिक-pring-2013/) बहुत उपयोगी है। अभ्यास समाधान के साथ प्रिंट में (अब थोड़ा नवीनीकृत) पाठ्यपुस्तक भी उपलब्ध है। –