Image Not Available

Proof-Net Categories

Dosen, Kosta & Zoran Petric

Published by Polimetrica, Milan, 2007
Condition: NF Soft cover
From JULIAN'S BOOKS (New York, NY, U.S.A.)

AbeBooks Seller Since July 8, 1997

Quantity Available: 1

Buy Used
Price: US$ 195.00 Convert Currency
Shipping: US$ 3.99 Within U.S.A. Destination, rates & speeds
Add to basket

30 Day Return Policy

About this Item

Near Fine. ; Description: viii, 147 pages ; 21 cm. ISBN: 9788876990809 8876990801. ; 8vo - 8" to 9" tall; 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. Bookseller Inventory # 125368

Ask Seller a Question

Bibliographic Details

Title: Proof-Net Categories

Publisher: Polimetrica, Milan

Publication Date: 2007

Binding: Softcover; First Printing

Book Condition:NF

Edition: First Edition.

Store Description

Premier online source for rare and collectible books, first editions, antiquarian, signed and limited edition books.

Visit Seller's Storefront

Terms of Sale:

Credit Cards: MASTERCARD, VISA, DISCOVER and AMERICAN EXPRESS.
Other payment options include Paypal.
Returns Policy: 10 days for notification, full refund.
We ship worldwide.


Shipping Terms:

Orders usually ship within 2 business days. Shipping costs are based on books
weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact
you to let you know extra shipping is required.

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express

Check Money Order PayPal Invoice Bank Draft Bank/Wire Transfer