jacket, Theories, Sites, Toposes

Theories, Sites, Toposes Relating and Studying Mathematical Theories Through Topos-Theoretic 'Bridges'

Hardback (21 Dec 2017) | English

Save $34.54

  • $83.13
  • $48.59
Add to basket

Includes delivery to USA

10+ copies available online - Usually dispatched within 24 hours

Used from other sellers

Synopsis

According to Grothendieck, the notion of topos is "the bed or deep river where come to be married geometry and algebra, topology and arithmetic, mathematical logic and category theory, the world of the continuous and that of discontinuous or discrete structures". It is what he had "conceived of most broad to perceive with finesse, by the same language rich of geometric resonances, an "essence" which is common to situations most distant from each other, coming from one region or another of the vast universe of mathematical things". The aim of this book is to present a theory and a number of techniques which allow to give substance to Grothendieck's vision by building on the notion of classifying topos educed by categorical logicians. Mathematical theories (formalized within first-order logic) give rise to geometric objects called sites; the passage from sites to their associated toposes embodies the passage from the logical presentation of theories to their mathematical content, i.e. from syntax to semantics. The essential ambiguity given by the fact that any topos is associated in general with an infinite number of theories or different sites allows to study the relations between different theories, and hence the theories themselves, by using toposes as 'bridges' between these different presentations. The expression or calculation of invariants of toposes in terms of the theories associated with them or their sites of definition generates a great number of results and notions varying according to the different types of presentation, giving rise to a veritable mathematical morphogenesis.

About the Publisher

Oxford University Press

Oxford University Press

Oxford University Press is a department of the University of Oxford. It furthers the University’s objective of excellence in research, scholarship, and education by publishing worldwide. Our products cover an extremely broad academic and educational spectrum, and we aim to make our content available to our users in whichever format suits them best.We publish for all audiences–from pre-school to secondary level schoolchildren; students to academics; general readers to researchers; individuals to institutions. Our range includes dictionaries, English language teaching materials, children's books, journals, scholarly monographs, printed music, higher education textbooks, and schoolbooks.

Book information

ISBN: 9780198758914
Publisher: OUP Oxford
Imprint: Oxford University Press
Pub date:
DEWEY: 512.62
DEWEY edition: 23
Language: English
Number of pages: 384
Weight: 716g
Height: 165mm
Width: 241mm
Spine width: 27mm