Results (1 - 4) of 4

Show results for

Product Type

  • All Product Types
  • Books (4)
  • Magazines & Periodicals
  • Comics
  • Sheet Music
  • Art, Prints & Posters
  • Photographs
  • Maps
  • Manuscripts &
    Paper Collectibles

Refine by

Condition

Binding

Collectible Attributes

  • First Edition
  • Signed
  • Dust Jacket
  • Seller-Supplied Images
  • Not Printed On Demand

Seller Location

  • All Locations

Seller Rating

Jiri Adamek, J. Rosicky

Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (1994)

ISBN 10: 0521422612 ISBN 13: 9780521422611

New Paperback

Quantity Available: 10

From: Book Depository International (London, United Kingdom)

Seller Rating: 5-star rating

Add to Basket
Price: US$ 105.50
Convert Currency
Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

About this Item: CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 1994. Paperback. Condition: New. Language: English . Brand New Book ***** Print on Demand *****. The concepts of a locally presentable category and an accessible category have turned out to be useful in formulating connections between universal algebra, model theory, logic and computer science. The aim of this book is to provide an exposition of both the theory and the applications of these categories at a level accessible to graduate students. Firstly the properties of l-presentable objects, locally l-presentable categories, and l-accessible categories are discussed in detail, and the equivalence of accessible and sketchable categories is proved. The authors go on to study categories of algebras and prove that Freyd s essentially algebraic categories are precisely the locally presentable categories. In the final chapters they treat some topics in model theory and some set theoretical aspects. For researchers in category theory, algebra, computer science, and model theory, this book will be a necessary purchase. Seller Inventory # AAV9780521422611

More information about this seller | Contact this seller 1.

Jiri Adamek, J. Rosicky

Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2004)

ISBN 10: 0521422612 ISBN 13: 9780521422611

New Paperback

Quantity Available: 10

From: The Book Depository (London, United Kingdom)

Seller Rating: 5-star rating

Add to Basket
Price: US$ 108.91
Convert Currency
Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

About this Item: CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2004. Paperback. Condition: New. Language: English . Brand New Book ***** Print on Demand *****.The concepts of a locally presentable category and an accessible category have turned out to be useful in formulating connections between universal algebra, model theory, logic and computer science. The aim of this book is to provide an exposition of both the theory and the applications of these categories at a level accessible to graduate students. Firstly the properties of l-presentable objects, locally l-presentable categories, and l-accessible categories are discussed in detail, and the equivalence of accessible and sketchable categories is proved. The authors go on to study categories of algebras and prove that Freyd s essentially algebraic categories are precisely the locally presentable categories. In the final chapters they treat some topics in model theory and some set theoretical aspects. For researchers in category theory, algebra, computer science, and model theory, this book will be a necessary purchase. Seller Inventory # AAV9780521422611

More information about this seller | Contact this seller 2.

Jiri Adamek, J. Rosicky, E. M. Vitale

Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2011)

ISBN 10: 0521119227 ISBN 13: 9780521119221

New Hardcover

Quantity Available: 10

From: Book Depository International (London, United Kingdom)

Seller Rating: 5-star rating

Add to Basket
Price: US$ 116.06
Convert Currency
Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

About this Item: CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2011. Hardback. Condition: New. Language: English . Brand New Book ***** Print on Demand *****. Algebraic theories, introduced as a concept in the 1960s, have been a fundamental step towards a categorical view of general algebra. Moreover, they have proved very useful in various areas of mathematics and computer science. This carefully developed book gives a systematic introduction to algebra based on algebraic theories that is accessible to both graduate students and researchers. It will facilitate interactions of general algebra, category theory and computer science. A central concept is that of sifted colimits - that is, those commuting with finite products in sets. The authors prove the duality between algebraic categories and algebraic theories and discuss Morita equivalence between algebraic theories. They also pay special attention to one-sorted algebraic theories and the corresponding concrete algebraic categories over sets, and to S-sorted algebraic theories, which are important in program semantics. The final chapter is devoted to finitary localizations of algebraic categories, a recent research area. Seller Inventory # APC9780521119221

More information about this seller | Contact this seller 3.

Jiri Adamek, J. Rosicky, E. M. Vitale

Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2011)

ISBN 10: 0521119227 ISBN 13: 9780521119221

New Hardcover

Quantity Available: 10

From: The Book Depository (London, United Kingdom)

Seller Rating: 5-star rating

Add to Basket
Price: US$ 119.82
Convert Currency
Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

About this Item: CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2011. Hardback. Condition: New. Language: English . Brand New Book ***** Print on Demand *****.Algebraic theories, introduced as a concept in the 1960s, have been a fundamental step towards a categorical view of general algebra. Moreover, they have proved very useful in various areas of mathematics and computer science. This carefully developed book gives a systematic introduction to algebra based on algebraic theories that is accessible to both graduate students and researchers. It will facilitate interactions of general algebra, category theory and computer science. A central concept is that of sifted colimits - that is, those commuting with finite products in sets. The authors prove the duality between algebraic categories and algebraic theories and discuss Morita equivalence between algebraic theories. They also pay special attention to one-sorted algebraic theories and the corresponding concrete algebraic categories over sets, and to S-sorted algebraic theories, which are important in program semantics. The final chapter is devoted to finitary localizations of algebraic categories, a recent research area. Seller Inventory # APC9780521119221

More information about this seller | Contact this seller 4.

Results (1 - 4) of 4