Related Books
Language: en
Pages: 191
Pages: 191
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Set theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics that we do, through the Axiom of Choi
Language: en
Pages: 512
Pages: 512
Type: BOOK - Published: 2012-05-23 - Publisher: Courier Corporation
Explores sets and relations, the natural number sequence and its generalization, extension of natural numbers to real numbers, logic, informal axiomatic mathema
Language: en
Pages: 272
Pages: 272
Type: BOOK - Published: 2017-03-09 - Publisher: Courier Dover Publications
Introduction to concepts of category theory — categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctions, monads — re
Language: en
Pages: 784
Pages: 784
Type: BOOK - Published: 2001-05-10 - Publisher: Gulf Professional Publishing
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred cat
Language: en
Pages: 304
Pages: 304
Type: BOOK - Published: 1996-05-23 - Publisher: Cambridge University Press
This is an introduction to set theory and logic that starts completely from scratch. The text is accompanied by many methodological remarks and explanations. A