۴. تحلیلِ فرآیندِ یکتایی (The Uniqueness of β)
در دیاگرامهای ارائه شده در دستنویس، نماد ∃! (موجود است یکتای...) قلبِ تپندهٔ ویژگی جهانی است. این یکتایی بدین معناست که ساختارِ همضرب، هیچ ابهامی در انتقالِ اطلاعات از اجزاء به مقصد باقی نمیگذارد.
β : ∐i ∈ I Ai → B
β((ai)i ∈ I) = ∑i ∈ I βi(ai)
همانطور که در تصویرِ جزوه با دقتِ تمام ترسیم شده، این جمع (Summation) تنها به دلیلِ متناهی بودنِ تکیهگاه (خانوادهای که در آن تعداد مؤلفههای غیرصفر محدود است) معنادار میشود. اینجاست که تفاوتِ میان «ضرب مستقیم» و «حاصلجمع مستقیم» در حالتِ نامتناهی آشکار میگردد.
۵. دیاگرامِ یادآوری (رابطه میان Q و هدف B)
در انتهای صفحه، مؤلف محترم با رسم یک دیاگرامِ مثلثیِ دیگر، بر این نکته پای میفشارند که هر شیء Q که بتواند نقشِ جامعیت را بازی کند، با همضربِ استاندارد ایزومورف خواهد بود.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.