Wells, Charles
Overview
Works:  19 works in 108 publications in 4 languages and 1,338 library holdings 

Genres:  Dictionaries History 
Roles:  Author, Editor, Other, Director 
Publication Timeline
.
Most widely held works by
Charles Wells
Toposes, triples, and theories by
Michael Barr(
Book
)
19 editions published between 1984 and 2002 in English and held by 418 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
19 editions published between 1984 and 2002 in English and held by 418 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
)
29 editions published between 1989 and 1999 in English and held by 365 WorldCat member libraries worldwide
29 editions published between 1989 and 1999 in English and held by 365 WorldCat member libraries worldwide
Scientific foundations of surgery by
Charles Wells(
Book
)
17 editions published between 1967 and 1981 in English and held by 262 WorldCat member libraries worldwide
17 editions published between 1967 and 1981 in English and held by 262 WorldCat member libraries worldwide
Category theory for computer science by
Michael Barr(
Book
)
8 editions published between 1995 and 1996 in English and held by 119 WorldCat member libraries worldwide
8 editions published between 1995 and 1996 in English and held by 119 WorldCat member libraries worldwide
Peptic ulceration; a symposium for surgeons by
Charles Wells(
Book
)
6 editions published in 1960 in English and held by 70 WorldCat member libraries worldwide
6 editions published in 1960 in English and held by 70 WorldCat member libraries worldwide
Prostatectomy; a method and its management by
Charles Wells(
Book
)
6 editions published in 1952 in English and held by 48 WorldCat member libraries worldwide
6 editions published in 1952 in English and held by 48 WorldCat member libraries worldwide
A handbook of mathematical discourse by
Charles Wells(
Book
)
3 editions published in 2003 in English and held by 29 WorldCat member libraries worldwide
3 editions published in 2003 in English and held by 29 WorldCat member libraries worldwide
Wissenschaftliche Grundlagen der operativen Medizin in 277 Einzeldarstellungen und 64 Tabellen(
Book
)
4 editions published in 1972 in German and held by 8 WorldCat member libraries worldwide
4 editions published in 1972 in German and held by 8 WorldCat member libraries worldwide
Fundamentos científicos de la cirugía by
Charles Wells(
Book
)
2 editions published in 1969 in Spanish and held by 4 WorldCat member libraries worldwide
2 editions published in 1969 in Spanish and held by 4 WorldCat member libraries worldwide
A practical grammar of the Turkish language : as spoken and written by
Charles Wells(
Book
)
3 editions published between 1880 and 2003 in English and held by 3 WorldCat member libraries worldwide
3 editions published between 1880 and 2003 in English and held by 3 WorldCat member libraries worldwide
The literature of the Turks a Turkish chrestomathy by
Charles Wells(
Book
)
2 editions published in 1891 in English and held by 2 WorldCat member libraries worldwide
2 editions published in 1891 in English and held by 2 WorldCat member libraries worldwide
A short history of the port of Bristol by
Charles Wells(
Book
)
1 edition published in 1909 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1909 in English and held by 2 WorldCat member libraries worldwide
Category theory for computer scientists by
Michael Barr(
Book
)
2 editions published between 1989 and 1990 in English and held by 2 WorldCat member libraries worldwide
2 editions published between 1989 and 1990 in English and held by 2 WorldCat member libraries worldwide
Toposes, Triples and Theories by
Michael Barr(
)
1 edition published in 1985 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1985 in English and held by 2 WorldCat member libraries worldwide
An introduction to neurosurgery by
Bryan Jennett(
Book
)
1 edition published in 1978 in English and held by 1 WorldCat member library worldwide
1 edition published in 1978 in English and held by 1 WorldCat member library worldwide
Anintroduction to neurosurgery by
Bryan Jennett(
Book
)
1 edition published in 1964 in English and held by 1 WorldCat member library worldwide
1 edition published in 1964 in English and held by 1 WorldCat member library worldwide
De ongebruikte homecomputer : 101 alternatieve gebruiksmogelijkheden by
Charles Wells(
Book
)
1 edition published in 1987 in Dutch and held by 1 WorldCat member library worldwide
1 edition published in 1987 in Dutch and held by 1 WorldCat member library worldwide
Mathematical revelations(
Book
)
1 edition published in 1936 in English and held by 1 WorldCat member library worldwide
1 edition published in 1936 in English and held by 1 WorldCat member library worldwide
Toposes, triples and theories by
Michael Barr(
)
1 edition published in 2000 in English and held by 0 WorldCat member libraries worldwide
This Web site provides visitors with an online version of Toposes, triples, and theories, by Michael Barr and Charles Wells. This book is contains nine chapters that focus on concepts such as: functions, limits, finiteproduct theories, and Deligne's Theorem. Each chapter contains examples to supplement the learning process
1 edition published in 2000 in English and held by 0 WorldCat member libraries worldwide
This Web site provides visitors with an online version of Toposes, triples, and theories, by Michael Barr and Charles Wells. This book is contains nine chapters that focus on concepts such as: functions, limits, finiteproduct theories, and Deligne's Theorem. Each chapter contains examples to supplement the learning process
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Barr, Michael 1937 Author Creator
 Kyle, James Other Editor
 Dunphy, J. Englebert (John Englebert) 19081981
 Université de Montréal Centre de recherches mathématiques
 Jennett, Bryan Author
 EnglebertDunphy, J.
 Alcover González, José María Translator
 Hardy, James D.
 E. & S. Livingstone (Londyn) Publisher
 Dotterer, John E. 1888
Useful Links
Associated Subjects
Categories (Mathematics) Computer scienceMathematics Docks DuodenumSurgery EnglandBristol Harbors Intracranial tumors Ktheory Logic, Symbolic and mathematical Manchester College (North Manchester, Ind.) Mathematics MathematicsStudy and teaching (Secondary) Nervous systemSurgery Pathology, Surgical Peptic ulcer Physiology Physiology, Pathological ProstateSurgery Shipping StomachSurgery Surgery Toposes Triples, Theory of Turkish languageGrammar