WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/497866540

Toposes, triples, and theories

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, finite-product theories, and Deligne's Theorem. Each chapter contains examples to supplement the learning process.

Open All Close All

type

about

http://schema.org/about

author

contributor

creator

description

http://schema.org/description

  • "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, finite-product theories, and Deligne's Theorem. Each chapter contains examples to supplement the learning process."@en
  • "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."@en

genre

http://schema.org/genre

  • "Electronic books"@en

name

http://schema.org/name

  • "Toposes, Triples and Theories"
  • "Toposes triples and theories"
  • "Toposes, triples, and theories"
  • "Toposes, triples, and theories"@en
  • "Toposes, triples and theories. Grundlehren der mathematischen Wissenschaften 278"
  • "Toposes, triples and theories"@en
  • "Toposes, triples and theories"

workExample