| American Mathematical Society. Meeting - Mathematics - 1984 - 307 pages
Mathematicians interested in understanding the directions of current research in set theory will not want to overlook this book, which contains the proceedings of the AMS ... | |
| Jonathan Chapman, Frederick Rowbottom - Mathematics - 1992 - 263 pages
Topos theory provides an important setting and language for much of mathematical logic and set theory. It is well known that a typed language can be given for a topos to be ... | |
| Ieke Moerdijk, Gonzalo E. Reyes - Mathematics - 2013 - 400 pages
The aim of this book is to construct categories of spaces which contain all the C?-manifolds, but in addition infinitesimal spaces and arbitrary function spaces. To this end ... | |
| Francis Borceux - Mathematics - 1994 - 345 pages
The Handbook of Categorical Algebra is designed to give, in three volumes, a detailed account of what should be known by everybody working in, or using, category theory. As ... | |
| Tom Leinster - Mathematics - 2014 - 190 pages
A short introduction ideal for students learning category theory for the first time. | |
| |