کتاب الکترونیکی

توصیف طبقه بندی انواع

A categorical characterization of varieties

دانلود کتاب A categorical characterization of varieties (به فارسی: توصیف طبقه بندی انواع) نوشته شده توسط «Adamek J.»

اطلاعات کتاب توصیف طبقه بندی انواع

موضوع اصلی: 1

نوع: کتاب الکترونیکی

نویسنده: Adamek J.

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2004

تعداد صفحه: 20

حجم کتاب: 1 مگابایت

توضیحات کتاب توصیف طبقه بندی انواع

یک اثبات ساده و مستقیم برای توصیف زیر انواع جبرهای (پایانی) ارائه شده است: یک دسته کامل معادل یک نوع است اگر یک مولد جبری داشته باشد، به عنوان مثال، یک مولد منظم که دقیقاً تصویری است و به طور متناهی تولید می شود. این امر تا حدودی بیان مجدد اخیر، به دلیل پدیکیو و وود، قضیه توصیف کلاسیک لاور را بهبود می بخشد. یک تطابق دوجانبه بین نظریه های جبری و مولدهای جبری برقرار می شود.

A simple, direct proof of the following characterization of varieties of (finitary)algebras is presented: a cocomplete category is equivalent to a variety iff it has an algebraic generator, i.e., a regular generator which is exactly projective and finitely generated. This improves somewhat a recent restatement, due to Pedicchio and Wood, of the classical characterization theorem of Lawvere. A bijective correspondence between algebraic theories and algebraic generators is established.

دانلود کتاب «توصیف طبقه بندی انواع»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان