Listing 1 - 10 of 10 |
Sort by
|
Choose an application
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 (Mathematics) --- Category theory (Mathematics) --- Algebra, Homological --- Algebra, Universal --- Group theory --- Logic, Symbolic and mathematical --- Topology --- Functor theory
Choose an application
Proof theory --- Lambda calculus --- Type Theory --- Curry-Howard isomorphism
Choose an application
Photography in archaeology --- #BIBC:bibl.Reekmans --- Archaeology --- Photography in archaeology.
Choose an application
Choose an application
Choose an application
Choose an application
Electric generators --- Electric machinery. --- Design and construction.
Choose an application
Choose an application
Choose an application
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.
Listing 1 - 10 of 10 |
Sort by
|