An Introduction To Category Theory
Download An Introduction To Category Theory PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get An Introduction To Category Theory book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
An Introduction to Category Theory
Author: Viakalathur Sankrithi Krishnan
language: en
Publisher: North-Holland
Release Date: 1981
An Introduction to Category Theory
Author: Harold Simmons
language: en
Publisher: Cambridge University Press
Release Date: 2011-09-22
Category theory provides a general conceptual framework that has proved fruitful in subjects as diverse as geometry, topology, theoretical computer science and foundational mathematics. Here is a friendly, easy-to-read textbook that explains the fundamentals at a level suitable for newcomers to the subject. Beginning postgraduate mathematicians will find this book an excellent introduction to all of the basics of category theory. It gives the basic definitions; goes through the various associated gadgetry, such as functors, natural transformations, limits and colimits; and then explains adjunctions. The material is slowly developed using many examples and illustrations to illuminate the concepts explained. Over 200 exercises, with solutions available online, help the reader to access the subject and make the book ideal for self-study. It can also be used as a recommended text for a taught introductory course.
Categories, Types, and Structures
Category theory is a mathematical subject whose importance in several areas of computer science, most notably the semantics of programming languages and the design of programmes using abstract data types, is widely acknowledged. This book introduces category theory at a level appropriate for computer scientists and provides practical examples in the context of programming language design.