Product Description: The story is a simple if unusual one. A nobleman marries a young bride, who then becomes his broodmare, unfortunately producing only daughters and sickly ones at that. When we meet the primary heroine of the book, Clorinda, it is at her birth and her mother has just tried unsuccessfully to take her newborn child's life and died in doing so...read more

Product Description: The story is a simple if unusual one. A nobleman marries a young bride, who then becomes his broodmare, unfortunately producing only daughters and sickly ones at that. When we meet the primary heroine of the book, Clorinda, it is at her birth and her mother has just tried unsuccessfully to take her newborn child's life and died in doing so...read more

Product Description: The story is a simple if unusual one. A nobleman marries a young bride, who then becomes his broodmare, unfortunately producing only daughters and sickly ones at that. When we meet the primary heroine of the book, Clorinda, it is at her birth and her mother has just tried unsuccessfully to take her newborn child's life and died in doing so...read more

Product Description: The story is a simple if unusual one. A nobleman marries a young bride, who then becomes his broodmare, unfortunately producing only daughters and sickly ones at that. When we meet the primary heroine of the book, Clorinda, it is at her birth and her mother has just tried unsuccessfully to take her newborn child's life and died in doing so...read more

With one exception, these papers are original and fully refereed research articles on various applications of Category Theory to Algebraic Topology, Logic and Computer Science. The exception is an outstanding and lengthy survey paper by Joyal/Street (80 pp) on a growing subject: it gives an account of classical Tannaka duality in such a way as to be accessible to the general mathematical reader, and to provide a key for entry to more recent developments and quantum groups. No expertise in either representation theory or category theory is assumed. Topics such as the Fourier cotransform, Tannaka duality for homogeneous spaces, braided tensor categories, Yang-Baxter operators, Knot invariants and quantum groups are introduced and studies. From the Contents: P.J. Freyd: Algebraically complete categories.- J.M.E. Hyland: First steps in synthetic domain theory.- G. Janelidze, W. Tholen: How algebraic is the change-of-base functor?.- A. Joyal, R. Street: An introduction to Tannaka duality and quantum groups.- A. Joyal, M. Tierney: Strong stacks andclassifying spaces.- A. Kock: Algebras for the partial map classifier monad.- F.W. Lawvere: Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes.- S.H. Schanuel: Negative sets have Euler characteristic and dimension.-

The idea of a "category"--a sort of mathematical universe--has brought about a remarkable unification and simplification of mathematics. Written by two of the best-known names in categorical logic, Conceptual Mathematics is the first book to apply categories to the most elementary mathematics. It thus serves two purposes: first, to provide a key to mathematics for the general reader or beginning student; and second, to furnish an easy introduction to categories for computer scientists, logicians, physicists, and linguists who want to gain some familiarity with the categorical method without initially committing themselves to extended study. (view table of contents)

The notion of mathematical structure is among the most pervasive ones in twentieth century mathematics. "Modern algebra and the rise of mathematical structures" describes two stages in the historical development of this notion: first it traces its rise in the context of algebra from the mid-nineteenth century to its consolidation by 1930 aimed at elucidating, from a purely mathematical perspective, the precise meaning of this idea. Part 1 discusses the process whereby the aims and scope of the discipline of algebra were deeply transformed, turning it into that branch of mathematics dealing with a new kind of mathematical entities: the "algebraic structures". The transition from the classical, nineteenth-century, image of the discipline to the new one is examined by focusing mainly on developments within the theory of ideals, from Richard Dedekind to Emmy Noether, and culminating with the publication in 1930 of Bartel L. van de Waerden's "Moderne algebra". Following its enormous success in algebra, the structural approach was widely adopted in other mathematical domains since the 1930s. But, what is a mathematical structure and what is the place of this notion within the whole fabric of mathematics? Part 2 describes the historical roots, the early stages and the interconnections between three attempts to address these questions from a purely formal, mathematical perspectives: Oystein Ore's lattice-theoretical theory of structures, Nicolas Bourbaki's theory of structures, and the theory of categories and functors. The book is intended for historians of mathematics and mathematicians interested in the development of algebra and in the history of twentieth-century mathematics. It will also be read with interest by philosophers and historians of science concerned with the role of heuristic and contextual factors in the development of scientific ideas.

Product Description: This book is an example of fruitful interaction between (non-classical) propo­ sitionallogics and (classical) model theory which was made possible due to categorical logic. Its main aim consists in investigating the existence of model­ completions for equational theories arising from propositional logics (such as the theory of Heyting algebras and various kinds of theories related to proposi­ tional modal logic )...read more (view table of contents, read Amazon.com's description)

(view table of contents)

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 category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists. (view table of contents)

Product Description: The first two chapters of this book offer a modern, self-contained exposition of the elementary theory of triangulated categories and their quotients. The simple, elegant presentation of these known results makes these chapters eminently suitable as a text for graduate students...read more (view table of contents, read Amazon.com's description)

Product Description: Proceedings of the BB Fest 96, a conference held at the University of Cape Town, 15-20 July 1996, on Category Theory and its Applications to Topology, Order and Algebra (view table of contents, read Amazon.com's description)

Product Description: Proceedings of the BB Fest 96, a conference held at the University of Cape Town, 15-20 July 1996, on Category Theory and its Applications to Topology, Order and Algebra