Toposes and Local Set Theories: An Introduction
J. L. Bell
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.
Kategori:
Tahun:
1988
Penerbit:
Oxford University Press, USA
Bahasa:
english
Halaman:
282
ISBN 10:
0198532741
ISBN 13:
9780198532743
Nama seri:
Oxford Logic Guides 14
File:
DJVU, 2.06 MB
IPFS:
,
english, 1988
Amazon 
Barnes & Noble 
Bookshop.org
Ingin menambahkan toko buku? Hubungi kami melalui support@z-lib.fm
Konversi file
Lebih banyak hasil pencarian
Manfaat yang lain 
![Thomas Streicher — Introduction to Category Theory and Categorical Logic [Lecture notes]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/7542df14f067d1500469af6b811fe9f2a6db2a77692b368a1d5413388df05f4c.jpg)
