Author: Maria Cristina Pedicchio
Publisher: Cambridge University Press
ISBN: 9780521834148
Category : Mathematics
Languages : en
Pages : 452
Book Description
Publisher Description
Categorical Foundations
Author: Maria Cristina Pedicchio
Publisher: Cambridge University Press
ISBN: 9780521834148
Category : Mathematics
Languages : en
Pages : 452
Book Description
Publisher Description
Publisher: Cambridge University Press
ISBN: 9780521834148
Category : Mathematics
Languages : en
Pages : 452
Book Description
Publisher Description
Categorical Logic and Type Theory
Author: B. Jacobs
Publisher: Gulf Professional Publishing
ISBN: 9780444508539
Category : Computers
Languages : en
Pages : 784
Book Description
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
Publisher: Gulf Professional Publishing
ISBN: 9780444508539
Category : Computers
Languages : en
Pages : 784
Book Description
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
Topology
Author: Tai-Danae Bradley
Publisher: MIT Press
ISBN: 0262359626
Category : Mathematics
Languages : en
Pages : 167
Book Description
A graduate-level textbook that presents basic topology from the perspective of category theory. This graduate-level textbook on topology takes a unique approach: it reintroduces basic, point-set topology from a more modern, categorical perspective. Many graduate students are familiar with the ideas of point-set topology and they are ready to learn something new about them. Teaching the subject using category theory--a contemporary branch of mathematics that provides a way to represent abstract concepts--both deepens students' understanding of elementary topology and lays a solid foundation for future work in advanced topics.
Publisher: MIT Press
ISBN: 0262359626
Category : Mathematics
Languages : en
Pages : 167
Book Description
A graduate-level textbook that presents basic topology from the perspective of category theory. This graduate-level textbook on topology takes a unique approach: it reintroduces basic, point-set topology from a more modern, categorical perspective. Many graduate students are familiar with the ideas of point-set topology and they are ready to learn something new about them. Teaching the subject using category theory--a contemporary branch of mathematics that provides a way to represent abstract concepts--both deepens students' understanding of elementary topology and lays a solid foundation for future work in advanced topics.
Introduction to Higher-Order Categorical Logic
Author: J. Lambek
Publisher: Cambridge University Press
ISBN: 9780521356534
Category : Mathematics
Languages : en
Pages : 308
Book Description
Part I indicates that typed-calculi are a formulation of higher-order logic, and cartesian closed categories are essentially the same. Part II demonstrates that another formulation of higher-order logic is closely related to topos theory.
Publisher: Cambridge University Press
ISBN: 9780521356534
Category : Mathematics
Languages : en
Pages : 308
Book Description
Part I indicates that typed-calculi are a formulation of higher-order logic, and cartesian closed categories are essentially the same. Part II demonstrates that another formulation of higher-order logic is closely related to topos theory.
Practical Foundations of Mathematics
Author: Paul Taylor
Publisher: Cambridge University Press
ISBN: 9780521631075
Category : Mathematics
Languages : en
Pages : 590
Book Description
Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.
Publisher: Cambridge University Press
ISBN: 9780521631075
Category : Mathematics
Languages : en
Pages : 590
Book Description
Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.
Sketches of an Elephant: A Topos Theory Compendium
Author: P. T. Johnstone
Publisher: Oxford University Press
ISBN: 9780198515982
Category : Computers
Languages : en
Pages : 836
Book Description
Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and to thereby demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text.
Publisher: Oxford University Press
ISBN: 9780198515982
Category : Computers
Languages : en
Pages : 836
Book Description
Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and to thereby demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text.
Proceedings of the Conference on Categorical Algebra
Author: S. Eilenberg
Publisher: Springer Science & Business Media
ISBN: 3642999026
Category : Mathematics
Languages : en
Pages : 571
Book Description
This volume contains the articles contributed to the Conference on Categorical Algebra, held June 7-12,1965, at the San Diego campus of the University of California under the sponsorship of the United States Air Force Office of Scientific Research. Of the thirty-seven mathemati cians, who were present seventeen presented their papers in the form of lectures. In addition, this volume contains papers contributed by other attending participants as well as by those who, after having planned to attend, were unable to do so. The editors hope to have achieved a representative, if incomplete, cover age of the present activities in Categorical Algebra within the United States by bringing together this group of mathematicians and by solici ting the articles contained in this volume. They also hope that these Proceedings indicate the trend of research in Categorical Algebra in this country. In conclusion, the editors wish to thank the participants and contrib. utors to these Proceedings for their continuous cooperation and encour agement. Our thanks are also due to the Springer-Verlag for publishing these Proceedings in a surprisingly short time after receiving the manu scripts.
Publisher: Springer Science & Business Media
ISBN: 3642999026
Category : Mathematics
Languages : en
Pages : 571
Book Description
This volume contains the articles contributed to the Conference on Categorical Algebra, held June 7-12,1965, at the San Diego campus of the University of California under the sponsorship of the United States Air Force Office of Scientific Research. Of the thirty-seven mathemati cians, who were present seventeen presented their papers in the form of lectures. In addition, this volume contains papers contributed by other attending participants as well as by those who, after having planned to attend, were unable to do so. The editors hope to have achieved a representative, if incomplete, cover age of the present activities in Categorical Algebra within the United States by bringing together this group of mathematicians and by solici ting the articles contained in this volume. They also hope that these Proceedings indicate the trend of research in Categorical Algebra in this country. In conclusion, the editors wish to thank the participants and contrib. utors to these Proceedings for their continuous cooperation and encour agement. Our thanks are also due to the Springer-Verlag for publishing these Proceedings in a surprisingly short time after receiving the manu scripts.
First Order Categorical Logic
Author: M. Makkai
Publisher: Springer
ISBN: 3540371001
Category : Mathematics
Languages : en
Pages : 317
Book Description
Publisher: Springer
ISBN: 3540371001
Category : Mathematics
Languages : en
Pages : 317
Book Description
Basic Category Theory
Author: Tom Leinster
Publisher: Cambridge University Press
ISBN: 1107044243
Category : Mathematics
Languages : en
Pages : 193
Book Description
A short introduction ideal for students learning category theory for the first time.
Publisher: Cambridge University Press
ISBN: 1107044243
Category : Mathematics
Languages : en
Pages : 193
Book Description
A short introduction ideal for students learning category theory for the first time.
Logic, Foundations of Mathematics, and Computability Theory
Author: Robert E. Butts
Publisher: Springer
ISBN:
Category : History
Languages : en
Pages : 428
Book Description
Part One of the Proceedings of the Fifth International Congress of Logic, Methodology, and Philosophy of Science, London, Ontario, Canada, August 27-September 2, 1975
Publisher: Springer
ISBN:
Category : History
Languages : en
Pages : 428
Book Description
Part One of the Proceedings of the Fifth International Congress of Logic, Methodology, and Philosophy of Science, London, Ontario, Canada, August 27-September 2, 1975