libcats.org
Главная

Proof-Net Categories

Обложка книги Proof-Net Categories

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.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Ремонт бытовой техники

Автор: , Автор:
Категория: civil, tech, civil, hardware, house, personal
Размер книги: 4.43 Mb

Тайная Жизнь Воды

Автор:
Категория: people, people, health
Размер книги: 3.14 Mb

Gray Hat Hacking

Автор: , Автор:
Размер книги: 12.44 Mb

The International Thesaurus of Quotations

Автор:
Размер книги: 9.73 Mb

Православие

Автор:
Категория: Религия
Размер книги: 310 Kb

History of the Christian Church Volume 6 Middle Ages 1294-1517.

Автор:
Категория: История
Размер книги: 2.06 Mb

Differential Diagnosis in Conventional Radiology (THIEME)

Автор: , Автор: , Автор:
Размер книги: 22.66 Mb

Changing My Mind

Автор:
Категория: fiction
Размер книги: 401 Kb

Tanis the Shadow Years

Автор: , Автор:
Категория: fiction
Размер книги: 6.41 Mb