یک مدل رسته در واقع یک رسته معمولی است همراه با سه دسته خاص از ریختها به نامهای تارش ها، هم تارش ها، هم ارزیهای ضعیف، که در چند اصل موضوع ساده صدق می کنند، که تعمدا یادآور خاصیت هایی از فضاهای توپولوژیک هستند. جالب آن که این اصول موضوعه یک مفهوم مستدل و منطقی را که به گونه ای ارائه می دهند که می توان دستگاهی مقدماتی را برای مفهوم نظریه هموتوپی ارائه داد. این دستگاه می تواند به سرعت در تعداد زیا...

در این پایان نامه ابتدا به معرفی رسته ی نوکدار ، ?_* ، رسته ی t – جبر ، ?^t وابسته به رسته ? و رسته ی ایلنبرگ- مر یا t – جبر های ?^t مربوط به یک موند داده شده پرداخته ایم . سپس با معرفی رسته ?_r^t که زیر رسته پر از رسته ?^t است یکریختی بین رسته های ?_* و ?_r^t را نشان داده ایم وبه بررسی چند مثال پرداخته ایم همچنین با ارائه یک قضیه شرایط لازم برای وجود الحاق بین دو رسته ?_* و ?^tرا بررسی کرده ا...

در این پایان نامه که بر اساس مقاله ای از فورناسیرو‎‎ و‎‎ سروی نوشته می شود‏، بسط های به طور تعریف پذیر کامل بئر از میدان های مرتب مورد مطالعه قرار می گیرند. این بسط ها ساختارهای مرتبه اولی هستند که در آن ها‎‎ هر زیرمجموعه تعریف پذیر از دامنه ساختار دارای کوچک ترین کران بالا است و دامنه نمی تواند به شکل اجتماع یک خانواده تعریف پذیر صعودی از مجموعه های هیچ جا چگال نوشته شود. هر بسط از میدان ‎‎اعد...

در نوشتن این رساله فرض شده است که خواننده با مفاهیم رسته و تابعگون آشناست . بقیه مفاهیم مورد نیاز و همچنین رسته ها و تابعگون های خاصی که مورد استفاده قرار گرفته اند در سه فصل اول معرفی شده اند. در فصل صفر مفاهیم و قضایای مورد نیاز از 15 فصل اول از [8] با ذکر برهانها آورده شده است . فصل 1 به معرفی مفاهیم پالایه، رسته cc و خواص آن، رسته lcc، رسته clcc و قضایایی پیرامون آنها می پردازد. معمولا برها...

در این پایان نامه p-گروه های توانمند را مطالعه می کنیم. هم چنین نامساوی هایی را برای مرتبه، نماو تعداد مولدهای ضربگر c-پوچ توان(پایای بئر نسبت به چند گونای گروه های پوچ توان از رده حداکثر c) از p-گروه های توانمند مورد بررسی قرار می دهیم، که در واقع تعمیمی از نتایج لوبوتسکی و مان به ضربگر c-پوچ توان می باشد. سپس با ارائه ی چند مثال، دقت نتایج و بهبود بعضی از نامساوی های قبل را نشان می دهیم.

هدف اصلی از نگارش این پایان نامه بررسی bl-جبرها به عنوان ساختار جبری متناظر با منطق فازی پایه (bl) است.bl-جبرها در راستای اثبات قضیه تمامیت در bl توسط هایک در سال 1998 به وجود آمده اند. توضیح آن که? در منطق فازی پایه- که توسیعی از منطق دو ارزشی است- همانند منطق کلاسیک? مفاهیم مختلف راستی و برهان یکسان هستند. یعنی این که در bl? هر چه که برهان پذیر باشد راست است.(قضیه درستی)? و هر چه راست باشد بر...

در این پایان نامه، با یک روش توصیفی، نظرات لاوور در نظریه رسته ها با استفاده از زبان نظریه مجموعه ای ارائه و توسعه داده می شوند.ضمنا چگونگی ایجاد و تکوین پارادکس های خودارجاعی، ناتمامیت و قضایای نقطه ثابت از قضیه تعمیم یافته کانتور تشریح خواهند شد. همچنین این رویه برای پارادکس دروغگو، پارادکس گرلینگ و ریچارد، مساله توقف تورینگ، مساله اراکل دار p=np ، پارادکس سفر در زمان، گزاره های پریخ، پارادکس...

چکیده ندارد.

در این نوشتار به بررسی نظریه دیفرانسیل پذیری در فضاهای خطی فشرده تولید شده با ابزار و مفاهیم رسته ای مطرح شده خواهیم پرداخت . معرفی رسته هایی خاص و رسته ؟k زیربنای کارماست ، یک -?k فضا، فضایی توپولوژیکی است که حامل توپولوژی نهای از خانواده fiهاست و fiها نگاشت های پیوسته از ki به x می باشند که kiها فشرده و هاسدروف هستند. بعلاوه ?k زیر رسته هم بازتاب صلب top است . در فصل اول و دوم رسته ?c و c??c ...

در این پایان نامه به معرفی مدولهای t-توسعه یافته و مدولهای t-بئر است که تعمیم یافته ای از مدولهای توسعه یافته می باشند. و همچنین مفاهیم t-توسعه یافته و -tبئر برای r-مدولها رابترتیب به fi-t-توسعه یافته و fi-t-بئر تعمیم می دهیم. ما نشان می دهیم که تصویرهمریخت یک مدول t-توسعه یافته و یک جمعوند مستقیم از یک مدول t-بئر ویژگی هایشان را به ارث می برند.این نشان دهنده ی این است که مدول m، t-توسعه یافته ...