WorldCat Identities

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 about Michael Barr
 
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

*-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

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

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
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

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
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

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

Reports of the Midwest Category Seminar IV( )

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

The Royal Berkshire Hospital, 1839-1989 by Margaret Railton( Book )

2 editions published in 1989 in English and held by 28 WorldCat member libraries worldwide

Seminar on triples and categorical homology theory, ETH, 1966-67 by H Appelgate( )

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

*(Star*)-Autonomous categories by Michael Barr( Book )

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

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

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

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

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

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 hands-on, no-nonsense 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 on-chip 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.68 (from 0.14 for Programmin ... to 0.99 for Barr, Mich ...)

Exact categories and categories of sheaves
Covers
*-Autonomous categoriesReports of the Midwest Category Seminar IIIAcyclic modelsReports of the Midwest Category Seminar VReports of the Midwest Category Seminar IVProgramming embedded systems in C and C [plus plus]Seminar on triples and categorical homology theory, ETH, 1966-67Reports of the Midwest category seminar IV
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
English (181)

German (2)