• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Toposes and Local Set Theories: An Introduction

Toposes and Local Set Theories: An Introduction

Paperback

Series: Dover Books on Mathematics

General Mathematics

Publisher Price: $16.95

ISBN10: 0486462862
ISBN13: 9780486462868
Publisher: Dover Publications
Published: Jan 11 2008
Pages: 290
Weight: 0.65
Height: 0.56 Width: 5.51 Depth: 8.41
Language: English
Topos theory has led to unexpected connections between classical and constructive mathematics. This text explores Lawvere and Tierney's concept of topos theory, a development in category theory that unites important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. A virtually self-contained introduction, this volume presents toposes as the models of theories -- known as local set theories -- formulated within a typed intuitionistic logic.

Also in

General Mathematics