Toposes and Local Set Theories: An Introduction

Main
Mathematics
Toposes and Local Set Theories: An...

Toposes and Local Set Theories: An Introduction

Name: Toposes and Local Set Theories: An Introduction
ISBN: 9780198532743

J. L. Bell

0 / 0

0 comments

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

The author introduces Lawvere and Tierney's concept of topos theory, a striking development in category theory that unites a number of important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. Topos theory has led to the forging of surprising new links between classical and constructive mathematics. Bell presents toposes as the models of theories--the so-called local set theories--formulated within a typed intuitionistic logic.

种类:

Mathematics

年:

1988

出版社:

Oxford University Press, USA

语言:

english

页:

282

ISBN 10:

0198532741