Cantitate/Preț
Produs

Cut Elimination in Categories

Autor K. Dosen
en Limba Engleză Paperback – 9 dec 2010
Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory. Here it is shown that these notions, in particular the notion of adjunction, can be formulated in such as way as to be characterised by composition elimination. Among the benefits of these composition-free formulations are syntactical and simple model-theoretical, geometrical decision procedures for the commuting of diagrams of arrows. Composition elimination, in the form of Gentzen's cut elimination, takes in categories, and techniques inspired by Gentzen are shown to work even better in a purely categorical context than in logic. An acquaintance with the basic ideas of general proof theory is relied on only for the sake of motivation, however, and the treatment of matters related to categories is also in general self contained. Besides familiar topics, presented in a novel, simple way, the monograph also contains new results. It can be used as an introductory text in categorical proof theory.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 89748 lei  6-8 săpt.
  Springer – 9 dec 2010 89748 lei  6-8 săpt.
Hardback (1) 91149 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 31 mai 1999 91149 lei  6-8 săpt.

Preț: 89748 lei

Preț vechi: 109449 lei
-18%

Puncte Express: 1346

Preț estimativ în valută:
15873 18423$ 13702£

Carte tipărită la comandă

Livrare economică 24 aprilie-08 mai


Specificații

ISBN-13: 9789048152261
ISBN-10: 9048152267
Pagini: 244
Ilustrații: XII, 229 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.38 kg
Ediția:Softcover reprint of hardcover 1st ed. 1999
Editura: Springer
Locul publicării:Dordrecht, Netherlands

Public țintă

Research

Cuprins

2. Functors.- 3. Natural Transformations.- 4. Adjunctions.- 5. Comonads.- 6. Cartesian Categories.- Conclusion.- References.