Let C be a Cartesian closed category (CCC for short) with an initial object 0

Prove that if there exists a morphism from some object X to 0 then X is itself an initial object.

Please do not forget to do the exercise mentioned in class by Prof. Alizadeh which was the category of groups does not have exponential objects

درود بر دانشجویان گرامی،تمرینات زیر از کتاب اوودی تحویلی است. کتابی که خونه دارم ویراست نخست است مم
فصل ۶: پرسش ۲ و ۴
فصل ۷: پرسش ۳، ۴ ، ۵ ، ۹، ۱۲ و ۱۳

البته توجه فرمایید شماره تمرینات از ویراست اول کتاب است.

تمرین ۲ و ۴

پرسش ۳ تحویلی است

پرسش های ۴ و ۵ تحویلی است

پرسش های ۹، ۱۳ و ۱۳ تحویلی

ادامه ۱۳

همه این عکسها بواسطه پیامی است که ابوالفضل برام فرستاد که در ویرایش مورد اشاره پرسش ها را ندیدند.

ویرایش من شاید حتی قبا چاپ اول باشد.

درود، لطفا یکی از بچه ها نوت درس امروز را برام میفرسته!

درود و خسته نباسید خدمت دانشجویان گرامی درس، تمامی دانشجویان محترم میتوانند تا پایان روز پنجشنبه چهارم بهمن‌ماه پاسخ تمامی سوالات را مجددا برای من ارسال کنند. شرط لازم برای ارسال این است که پاسخنامه باید در تک فارسی(زی پرشین) نوشته شود و فایل پی دی اف و تک آن زیپ شده با نام خودتان ارسال شود. لطفا نسخه ی غیر از تک ارسال نکنید.لطفا تمام جزییات هر پاسخ را بیاورید. به دلیل تایپ کردن در رسم دیاگرام های مختلف خسیس نباشید. صورت هر پرسش را بنویسید و سپس پاسخ خود را بنویسید. برای راحتی کار شما آقای محمودیان فایل تک آزمون را برای شما ارسال خواهد کرد من هم اینجا ارسال میکنم.