Condition: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item for full refund. Ships USPS Media Mail.
Seller: HPB-Red, Dallas, TX, U.S.A.
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Language: English
Published by Open Court (Carus Publishing), Chicago, IL, 2004
ISBN 10: 0812695518 ISBN 13: 9780812695519
First Edition
Softcover. Condition: Very Good. First Edition. First edition, trade paperback, has mild bumps to the spine ends and cover corners with a hint of peeling to the laminate, a touch of wear to the cover edges, and slight rubbing to the covers. Overall, a Very Good copy.
Language: French
Published by Librairie Philosophique J Vrin, 2017
ISBN 10: 2711626547 ISBN 13: 9782711626540
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 384 pages. French language. 7.09x4.29x0.79 inches. In Stock.
Language: English
Published by Oxford University Press, 2010
ISBN 10: 0199237182 ISBN 13: 9780199237180
Seller: HPB-Red, Dallas, TX, U.S.A.
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Language: English
Published by Springer Nature Switzerland AG, Cham, 2026
ISBN 10: 3032087295 ISBN 13: 9783032087294
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: new. Paperback. This book introduces the category of Cartesian cubical sets and endows it with a Quillen model structure using ideas coming from Homotopy type theory. In particular, recent constructions of cubical systems of univalent type theory are used to determine abstract homotopical semantics of type theory. The celebrated univalence axiom of Voevodsky plays a key role in establishing the basic laws of a model structure, showing that the homotopical interpretation of constructive type theory is not merely possible, but in a certain, precise sense also necessary for the validity of univalence. Fully rigorous proofs are given in diagrammatic style, using the language and methods of categorical logic and topos theory. The intended readers are researchers and graduate students in homotopy theory, type theory, and category theory. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Hardcover. Condition: Brand New. y edition. 334 pages. 9.50x6.50x1.25 inches. In Stock.
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Language: English
Published by Oxford University Press, 2024
ISBN 10: 0192894870 ISBN 13: 9780192894878
Seller: Books From California, Simi Valley, CA, U.S.A.
hardcover. Condition: Very Good.
Language: English
Published by Oxford University Press, Oxford, 2010
ISBN 10: 0199237182 ISBN 13: 9780199237180
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: new. Paperback. Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any of the other fields in which the ideas are being applied. Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all importantpropositions and theorems, this book aims to make the basic ideas, theorems, and methods of category theory understandable to this broad readership. Although assuming fewmathematical pre-requisites, the standard of mathematical rigour is not compromised. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda's lemma; adjoints; monads. An extra topic of cartesian closed categories and the lambda-calculus is also provided - a must for computer scientists, logicians and linguists!This Second Edition contains numerousrevisions to the original text, including expanding the exposition, revising and elaborating the proofs, providing additional diagrams, correcting typographical errors and, finally, adding an entirely newsection on monoidal categories. Nearly a hundred new exercises have also been added, many with solutions, to make the book more useful as a course text and for self-study. A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Language: English
Published by Oxford University Press, U.S.A., 2008
ISBN 10: 0199237182 ISBN 13: 9780199237180
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In.
Language: English
Published by Oxford University Press, U.S.A. 2008-01-10, 2008
ISBN 10: 0199237182 ISBN 13: 9780199237180
Seller: Chiron Media, Wallingford, United Kingdom
Paperback. Condition: New.
Language: English
Published by Oxford University Press, 2008
ISBN 10: 0199237182 ISBN 13: 9780199237180
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. pp. 336.
Language: English
Published by Oxford University Press, 2006
ISBN 10: 0198568614 ISBN 13: 9780198568612
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Language: English
Published by Oxford University Press, 2010
ISBN 10: 0199237182 ISBN 13: 9780199237180
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. 2008. 2nd Edition. Paperback. A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises. Series: Oxford Logic Guides. Num Pages: 336 pages, figures. BIC Classification: HPL; PBCD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 156 x 19. Weight in Grams: 494. . . . . .
Paperback. Condition: Brand New. 130 pages. 9.25x6.10x9.21 inches. In Stock.
Language: English
Published by Oxford University Press OUP, 2008
ISBN 10: 0199237182 ISBN 13: 9780199237180
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 336 Index 2nd Edition.
Paperback. Condition: Brand New. 2nd edition. 311 pages. 9.25x6.25x1.00 inches. In Stock.
Language: English
Published by Oxford University Press, 2008
ISBN 10: 0199237182 ISBN 13: 9780199237180
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Paperback / softback. Condition: New. New copy - Usually dispatched within 3 working days.
Language: English
Published by Oxford University Press, U.S.A., 2008
ISBN 10: 0199237182 ISBN 13: 9780199237180
Seller: Mooney's bookstore, Den Helder, Netherlands
Condition: Very good.
Language: English
Published by Oxford University Press, 2008
ISBN 10: 0199237182 ISBN 13: 9780199237180
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. pp. 336.
Language: English
Published by Oxford University Press, U.S.A., 2008
ISBN 10: 0199237182 ISBN 13: 9780199237180
Seller: Speedyhen, Hertfordshire, United Kingdom
Condition: NEW.
Language: English
Published by Oxford University Press, 2008
ISBN 10: 0199237182 ISBN 13: 9780199237180
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. 2008. 2nd Edition. Paperback. A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises. Series: Oxford Logic Guides. Num Pages: 336 pages, figures. BIC Classification: HPL; PBCD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 156 x 19. Weight in Grams: 494. . . . . . Books ship from the US and Ireland.
Language: English
Published by Oxford University Press, Oxford, 2010
ISBN 10: 0199237182 ISBN 13: 9780199237180
Seller: CitiRetail, Stevenage, United Kingdom
Paperback. Condition: new. Paperback. Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any of the other fields in which the ideas are being applied. Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all importantpropositions and theorems, this book aims to make the basic ideas, theorems, and methods of category theory understandable to this broad readership. Although assuming fewmathematical pre-requisites, the standard of mathematical rigour is not compromised. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda's lemma; adjoints; monads. An extra topic of cartesian closed categories and the lambda-calculus is also provided - a must for computer scientists, logicians and linguists!This Second Edition contains numerousrevisions to the original text, including expanding the exposition, revising and elaborating the proofs, providing additional diagrams, correcting typographical errors and, finally, adding an entirely newsection on monoidal categories. Nearly a hundred new exercises have also been added, many with solutions, to make the book more useful as a course text and for self-study. A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Language: English
Published by Springer, Springer International Publishing, 2026
ISBN 10: 3032087295 ISBN 13: 9783032087294
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book introduces the category of Cartesian cubical sets and endows it with a Quillen model structure using ideas coming from Homotopy type theory. In particular, recent constructions of cubical systems of univalent type theory are used to determine abstract homotopical semantics of type theory. The celebrated univalence axiom of Voevodsky plays a key role in establishing the basic laws of a model structure, showing that the homotopical interpretation of constructive type theory is not merely possible, but in a certain, precise sense also necessary for the validity of univalence. Fully rigorous proofs are given in diagrammatic style, using the language and methods of categorical logic and topos theory. The intended readers are researchers and graduate students in homotopy theory, type theory, and category theory.
Paperback. Condition: Brand New. 2nd edition. 311 pages. 9.25x6.25x1.00 inches. In Stock.
Buch. Condition: New. A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theore.
Language: English
Published by Oxford University Press, 2024
ISBN 10: 0192894870 ISBN 13: 9780192894878
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Language: English
Published by Oxford University Press, 2024
ISBN 10: 0192894870 ISBN 13: 9780192894878
Seller: INDOO, Avenel, NJ, U.S.A.
Condition: New.