Related Books
Language: en
Pages: 347
Pages: 347
Type: BOOK - Published: 2013-06-09 - Publisher: Springer
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 des
Language: en
Pages: 401
Pages: 401
Type: BOOK - Published: 2014-01-15 - Publisher: Courier Corporation
Focusing on topos theory's integration of geometric and logical ideas into the foundations of mathematics and theoretical computer science, this volume explores
Language: en
Pages: 380
Pages: 380
Type: BOOK - Published: 1985 - Publisher:
Language: en
Pages: 290
Pages: 290
Type: BOOK - Published: 2008-01-01 - Publisher: Courier Corporation
This text introduces topos theory, a development in category theory that unites important but seemingly diverse notions from algebraic geometry, set theory, and
Language: en
Pages: 944
Pages: 944
Type: BOOK - Published: 2009-07-26 - Publisher: Princeton University Press
In 'Higher Topos Theory', Jacob Lurie presents the foundations of this theory using the language of weak Kan complexes introduced by Boardman and Vogt, and show