ورود به حساب کاربری

خرید کتاب Proof Net Categories

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
برای خرید و دانلود فایل باید وارد شوید
ثبت نام / ورود بستن
Proof Net Categories

Proof Net Categories

Proof Net Categories
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Proof Net Categories
از خودتان درباره کتاب توضیح کوتاهی بنویسید
Star-autonomous categories are a brand of symmetric monoidal closed categories of particular interest for classical linear logic. This work formulates equationally a precise notion of star-autonomous category without unit objects, which is called proof-net category. A coherence theorem analogous to the coherence theorem for symmetric monoidal closed categories with respect to graphs is proved for proof-net categories. It is also proved that the free proof-net category generated by a set of objects is isomorphic to a full subcategory of the free star-autonomous category generated by the same set of objects. This yields a very useful coherence theorem for star-autonomous categories involving the unit objects, exactly analogous to the coherence theorem for symmetric monoidal closed categories. An analogous coherence result is proved also for proof-net categories with the mix principle of linear logic. The graphs involved in these coherence theorems are the relevant portions of proof nets that one needs to solve the question whether a diagram of arrows commutes. Proofs are inspired by methods of proof theory. The results of this work are of interest for general proof theory. They show how generality of proofs provides a criterion for identity of proofs in a fragment of linear logic. They also make a contribution to the study of coherence in symmetric monoidal closed categories.
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

نویسنده

Zoran Petric

شابک

9788876990809
20,000 تومان
خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

کتاب های مرتبط

Mathematical structure of finite random cybernetic systems

Mathematical structure of finite random cybernetic systems

Silviu Guia...
20
هزار تومان
Mathematics of the Transcendental

Mathematics of the Transcendental

Alex Ling
20
هزار تومان
Representations of Semisimple Lie Algebras in the Bgg Category O

Representations of Semisimple Lie Algebras in the Bgg Category O

James E. Hu...
20
هزار تومان
Hausdorff Spectra in Functional Analysis

Hausdorff Spectra in Functional Analysis

I. Tweddle
20
هزار تومان
Papers in honour of Bernhard Banaschewski

Papers in honour of Bernhard Banaschewski

Bernhard Ba...
20
هزار تومان
Manifolds, sheaves, and cohomology

Manifolds, sheaves, and cohomology

Torsten Wed...
20
هزار تومان
Einführung in die Kategorientheorie : Mit ausführlichen Erklärungen und zahlreichen Beispielen

Einführung in die Kategorientheorie : Mit ausführlichen Erklärungen und zahlreichen Beispielen

Martin Bran...
20
هزار تومان
Basic Category Theory

Basic Category Theory

Tom Leinster
20
هزار تومان
Mathematics of the Transcendental

Mathematics of the Transcendental

Alex Ling
20
هزار تومان
Rings of quotients : an introduction to methods of ring theory

Rings of quotients : an introduction to methods of ring theory

Bo T Stenst...
20
هزار تومان
Universal theory of automata : a categorical approach

Universal theory of automata : a categorical approach

Hartmut Ehrig
20
هزار تومان
Reports of the Midwest Category Seminar III

Reports of the Midwest Category Seminar III

S. Fefermann
20
هزار تومان
Reports of the Midwest Category Seminar III.

Reports of the Midwest Category Seminar III.

M Barr;
20
هزار تومان
Mass und Kategorie

Mass und Kategorie

John C Oxtoby
20
هزار تومان
Theorie Des Topos Et Cohomologie Etale Des Schemas. Seminaire de Geometrie Algebrique Du Bois-Marie 1963-1964 (Sga 4)

Theorie Des Topos Et Cohomologie Etale Des Schemas. Seminaire de Geometrie Algebrique Du Bois-Marie 1963-1964 (Sga 4)

P. Deligne
20
هزار تومان
Toposes, Algebraic Geometry and Logic

Toposes, Algebraic Geometry and Logic

F. William ...
20
هزار تومان
Coherence in Categories.

Coherence in Categories.

Saunders Ma...
20
هزار تومان
Categories and sheaves

Categories and sheaves

Masaki Kash...
20
هزار تومان
The Rubato Composer Music Software

The Rubato Composer Music Software

F. Thalmann
20
هزار تومان
The Rubato Composer Music Software

The Rubato Composer Music Software

Gérard Mil...
20
هزار تومان
Rings With Morita Duality

Rings With Morita Duality

Weimin Xue
20
هزار تومان
  • اطلاعات
  • دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید

دیدگاه کاربران

دیدگاه خود را بنویسید
|
افزایش درآمد افزایش درآمد بهترین های کودک و نوجوان بهترین های کودک و نوجوان میخوای آموزش ببینی میخوای آموزش ببینی
قوانین و مقررات

بوکم با هدف خدمات محتوایی به پژوهشگران، اساتید و دانشجویان راه اندازی شده است. ما را در ارائه خدمات بهتر یاری داده و به گسترش بوکم کمک نمایید.

قوانین استفاده از بوکم:
1- کاربران موظف به استفاده ضحیح از محتوای رایگان و یا قابل خریداری سایت هستند و این استفاده باید در دایره ی قوانین حاکم در جمهوری اسلامی ایران باشد.
2- بوکم در دایره ی قوانین جمهوری اسلامی ایران فعالیت دارد و از قوانین مالکیت فکری و کپی رایت طبق قواعد جمهوری اسلامی ایران فعالیت میکند. چنانچه در این مورد سهوا اشتباهی انجام شده لطفا اطلاع بدهید تا سریعا پیگیری شود.
3- به خاطر تغییراتی که در فروشگاه های مرجعی که بوکم از آنها کتاب تهیه میکند پیش می آید، ممکن است کتاب خریداری شده ی کاربر قابل تهیه کردن نباشد که در این صورت بوکم مبلغ پرداختی کاربر را به حساب او عودت داده و یا کیف پول او نزد بوکم را شارژ می نماید.
4- بیشتر از کتابهای درخواستی به صورت آنی در اختیار خریدار قرار میگیرد. مواردی که آنی قابل ارسال نیست حداکثر در سه ساعت در زمان کاری تهیه شده و به کاربر اطلاع داده شده و لینک دانلود برای او ارسال میشود.
5- کاربران موظف به حفظ محتوای خریداری شده توسط خودشان هستند و بوکم تعهد نگهداری یک ماه از کتاب خریداری شده توسط کاربر را دارد.
6- کاربرانی که در تامین محتوا و همکاری در فروش با بوکم همکاری دارند بایست طبق قوانین جمهوری اسلامی ایران اقدام به فروش در پلتفرم بوکم نمایند و پاسخگوی مراجع ذی صلاح درباره محتوای فروشی خود در بستر بوکم را به عهده دارند.
7- فایل فروخته شده با ارائه دلیل منطقی(مثل کیفیت نامناسب کتاب برای خوانش) تا 24 ساعت از سوی کاربر قابل عودت می باشد.

پذیرفتن