Barr, Michael 1937
Overview
Works:  49 works in 214 publications in 2 languages and 3,130 library holdings 

Genres:  Conference papers and proceedings History 
Roles:  Author, Honoree, Other, Creator, Editor, htt 
Publication Timeline
.
Most widely held works by
Michael Barr
Exact categories and categories of sheaves by
Michael Barr(
Book
)
24 editions published between 1971 and 2008 in English and German and held by 648 WorldCat member libraries worldwide
24 editions published between 1971 and 2008 in English and German and held by 648 WorldCat member libraries worldwide
*Autonomous categories by
Michael Barr(
Book
)
29 editions published between 1979 and 2008 in English and German and held by 557 WorldCat member libraries worldwide
29 editions published between 1979 and 2008 in English and German and held by 557 WorldCat member libraries worldwide
Reports of the Midwest Category Seminar III by
Saunders Mac Lane(
Book
)
20 editions published between 1969 and 2008 in English and held by 521 WorldCat member libraries worldwide
20 editions published between 1969 and 2008 in English and held by 521 WorldCat member libraries worldwide
Toposes, triples, and theories by
Michael Barr(
Book
)
20 editions published between 1984 and 2013 in English and held by 408 WorldCat member libraries worldwide
As its title suggests, this book is an introduction to three ideas and the connections between them. Before describing the content of the book in detail, we describe each concept briefly. More extensive introductory descriptions of each concept are in the introductions and notes to Chapters 2, 3 and 4. A topos is a special kind of category defined by axioms saying roughly that certain constructions one can make with sets can be done in the category. In that sense, a topos is a generalized set theory. However, it originated with Grothendieck and Giraud as an abstraction of the of the category of sheaves of sets on a topological space. Later, properties Lawvere and Tierney introduced a more general id~a which they called "elementary topos" (because their axioms did not quantify over sets), and they and other mathematicians developed the idea that a theory in the sense of mathematical logic can be regarded as a topos, perhaps after a process of completion. The concept of triple originated (under the name "standard construc in Godement's book on sheaf theory for the purpose of computing tions") sheaf cohomology. Then Peter Huber discovered that triples capture much of the information of adjoint pairs. Later Linton discovered that triples gave an equivalent approach to Lawverc's theory of equational theories (or rather the infinite generalizations of that theory). Finally, triples have turned out to be a very important tool for deriving various properties of toposes
20 editions published between 1984 and 2013 in English and held by 408 WorldCat member libraries worldwide
As its title suggests, this book is an introduction to three ideas and the connections between them. Before describing the content of the book in detail, we describe each concept briefly. More extensive introductory descriptions of each concept are in the introductions and notes to Chapters 2, 3 and 4. A topos is a special kind of category defined by axioms saying roughly that certain constructions one can make with sets can be done in the category. In that sense, a topos is a generalized set theory. However, it originated with Grothendieck and Giraud as an abstraction of the of the category of sheaves of sets on a topological space. Later, properties Lawvere and Tierney introduced a more general id~a which they called "elementary topos" (because their axioms did not quantify over sets), and they and other mathematicians developed the idea that a theory in the sense of mathematical logic can be regarded as a topos, perhaps after a process of completion. The concept of triple originated (under the name "standard construc in Godement's book on sheaf theory for the purpose of computing tions") sheaf cohomology. Then Peter Huber discovered that triples capture much of the information of adjoint pairs. Later Linton discovered that triples gave an equivalent approach to Lawverc's theory of equational theories (or rather the infinite generalizations of that theory). Finally, triples have turned out to be a very important tool for deriving various properties of toposes
Category theory for computing science by
Michael Barr(
Book
)
30 editions published between 1989 and 1999 in English and held by 369 WorldCat member libraries worldwide
30 editions published between 1989 and 1999 in English and held by 369 WorldCat member libraries worldwide
Acyclic models by
Michael Barr(
Book
)
10 editions published in 2002 in English and held by 199 WorldCat member libraries worldwide
Acyclic models is a method heavily used to analyze and compare various homology and cohomology theories appearing in topology and algebra. This book is the first attempt to put together in a concise form this important technique and to include all the necessary background. It presents a brief introduction to category theory and homological algebra. The author then gives the background of the theory of differential modules and chain complexes over an abelian category to state the main acyclic models theorem, generalizing and systemizing the earlier material. This is then applied to various coho
10 editions published in 2002 in English and held by 199 WorldCat member libraries worldwide
Acyclic models is a method heavily used to analyze and compare various homology and cohomology theories appearing in topology and algebra. This book is the first attempt to put together in a concise form this important technique and to include all the necessary background. It presents a brief introduction to category theory and homological algebra. The author then gives the background of the theory of differential modules and chain complexes over an abelian category to state the main acyclic models theorem, generalizing and systemizing the earlier material. This is then applied to various coho
Category theory for computer science by
Michael Barr(
Book
)
8 editions published between 1995 and 1996 in English and held by 120 WorldCat member libraries worldwide
8 editions published between 1995 and 1996 in English and held by 120 WorldCat member libraries worldwide
Reports of the Midwest Category Seminar V by
Michel André(
)
9 editions published between 1971 and 2006 in English and held by 61 WorldCat member libraries worldwide
9 editions published between 1971 and 2006 in English and held by 61 WorldCat member libraries worldwide
Reports of the Midwest Category Seminar IV(
)
1 edition published in 1970 in English and held by 42 WorldCat member libraries worldwide
1 edition published in 1970 in English and held by 42 WorldCat member libraries worldwide
Programming embedded systems in C and C [plus plus] by
Michael Barr(
)
4 editions published in 1999 in English and held by 37 WorldCat member libraries worldwide
4 editions published in 1999 in English and held by 37 WorldCat member libraries worldwide
The Royal Berkshire Hospital, 18391989 by
Margaret Railton(
Book
)
2 editions published in 1989 in English and held by 28 WorldCat member libraries worldwide
2 editions published in 1989 in English and held by 28 WorldCat member libraries worldwide
Seminar on triples and categorical homology theory, ETH, 196667 by
H Appelgate(
)
6 editions published between 1969 and 2008 in English and held by 22 WorldCat member libraries worldwide
6 editions published between 1969 and 2008 in English and held by 22 WorldCat member libraries worldwide
Reports of the Midwest category seminar IV by
S Maclane(
)
7 editions published between 1970 and 2006 in English and held by 20 WorldCat member libraries worldwide
7 editions published between 1970 and 2006 in English and held by 20 WorldCat member libraries worldwide
*(Star*)Autonomous categories by
Michael Barr(
Book
)
2 editions published in 1979 in Undetermined and held by 11 WorldCat member libraries worldwide
2 editions published in 1979 in Undetermined and held by 11 WorldCat member libraries worldwide
Logic and proof by
E Norman(
Book
)
1 edition published in 1991 in English and held by 9 WorldCat member libraries worldwide
1 edition published in 1991 in English and held by 9 WorldCat member libraries worldwide
Building connections : the curriculum and the built environment by
M Barr(
Book
)
3 editions published between 2002 and 2004 in English and held by 9 WorldCat member libraries worldwide
3 editions published between 2002 and 2004 in English and held by 9 WorldCat member libraries worldwide
Report on the investigation into the prevention of tetanus in the British Army by
Great Britain(
Book
)
1 edition published in 1955 in English and held by 9 WorldCat member libraries worldwide
1 edition published in 1955 in English and held by 9 WorldCat member libraries worldwide
Category theory and its applications : dedicated to professor Bill Lawvere(
Book
)
2 editions published in 2000 in English and held by 9 WorldCat member libraries worldwide
2 editions published in 2000 in English and held by 9 WorldCat member libraries worldwide
Special volume on the occasion of the 60th birthday of Professor Michael Barr(
Book
)
3 editions published in 1999 in English and held by 6 WorldCat member libraries worldwide
3 editions published in 1999 in English and held by 6 WorldCat member libraries worldwide
Programming embedded systems in C and C++ by
Michael Barr(
Book
)
2 editions published in 1999 in English and held by 4 WorldCat member libraries worldwide
"If you have some programming experience and are familiar with C or C++, you're ready to learn how to write embedded software. The handson, nononsense style of this book will help you get started by offering practical advice from someone who's been in your shoes and wants to help you learn quickly." "The techniques and code examples presented here are directly applicable to real world embedded software projects of all sorts. Even if you've done some embedded programming before, you'll still benefit from the topics in this book, which include: testing memory chips quickly and efficiently, writing and erasing Flash memory, verifying nonvolatile memory contents with CRCs, interfacing to onchip and external peripherals, designing and implementing device drivers, optimizing embedded software for size and speed, and making the most of C++ without a performance penalty."Jacket
2 editions published in 1999 in English and held by 4 WorldCat member libraries worldwide
"If you have some programming experience and are familiar with C or C++, you're ready to learn how to write embedded software. The handson, nononsense style of this book will help you get started by offering practical advice from someone who's been in your shoes and wants to help you learn quickly." "The techniques and code examples presented here are directly applicable to real world embedded software projects of all sorts. Even if you've done some embedded programming before, you'll still benefit from the topics in this book, which include: testing memory chips quickly and efficiently, writing and erasing Flash memory, verifying nonvolatile memory contents with CRCs, interfacing to onchip and external peripherals, designing and implementing device drivers, optimizing embedded software for size and speed, and making the most of C++ without a performance penalty."Jacket
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
Useful Links
Associated Subjects
Acyclic models Algebra Algebra, Homological Architecture ArchitectureStudy and teaching Barr, Michael, C (Computer program language) C++ (Computer program language) Canada Categories (Mathematics) College teachers Computer scienceMathematics Education Embedded computer systemsProgramming Functor theory Great Britain Great Britain.Army Group theory Homology theory Hospitals Ktheory Logic, Symbolic and mathematical Mathematics Research Royal Berkshire Hospital Scientists Scotland Sheaf theory Teachers Toposes Triples, Theory of United States Universities and collegesFaculty
Covers
Alternative Names
Barr, M.
Barr, M. 1937
Barr, M. (Michael)
Barr, M. (Michael), 1937
Barr, Michael
Michael Barr Canadees wiskundige
Michael Barr Canadian mathematician and computer scientist
Michael Barr kanadischer Mathematiker, Informatiker und Ingenieur
Michael Barr (mathematician)
マイケル・バー
Languages