Category Book PDF, EPUB Download & Read Online Free

Basic Category Theory for Computer Scientists

Basic Category Theory for Computer Scientists
Author: Benjamin C. Pierce
Publisher: MIT Press
ISBN: 0262660717
Pages: 100
Year: 1991
View: 1286
Read: 1254

Basic Category Theory for Computer Scientists provides a straightforward presentationof the basic constructions and terminology of category theory, including limits, functors, naturaltransformations, adjoints, and cartesian closed categories.


Author: Edward Gorey
Publisher: Pomegranate
ISBN: 0764937502
Pages: 112
Year: 2006-08-01
View: 1190
Read: 529

Finally, back in print! Edward Gorey's CATEGORY was first published by Gotham Book Mart in 1974. The English language edition has been out of print for decades. One of Gorey's most beloved books, CATEGORY collects a series of fifty cat vignettes, originally created by the artist as accompaniments to a limited edition of his book Amphigorey. Gorey once said, "I can't conceive of a life without cats." Now Gorey fans and cat lovers alike won't have to conceive of a world without CATEGOREY. Edward Gorey (1925-2000) may be best known for his mildly unsettling illustrated tales and cautionary alphabets—The Deranged Cousins, The Gashlycrumb Tinies, and The Doubtful Guest, among many others. He was also a playwright, an award-winning set and costume designer, and the creator of the animated introductions to the PBS series Mystery!

The Category of the Person

The Category of the Person
Author: Michael Carrithers, Steven Collins, Steven Lukes
Publisher: Cambridge University Press
ISBN: 0521277574
Pages: 309
Year: 1985-12-27
View: 1182
Read: 380

The concept that people have of themselves as a 'person' is one of the most intimate notions that they hold. Yet the way in which the category of the person is conceived varies over time and space. In this volume, anthropologists, philosophers, and historians examine the notion of the person in different cultures, past and present. Taking as their starting point a lecture on the person as a category of the human mind, given by Marcel Mauss in 1938, the contributors critically assess Mauss's speculation that notions of the person, rather than being primarily philosophical or psychological, have a complex social and ideological origin. Discussing societies ranging from ancient Greece, India, and China to modern Africa and Papua New Guinea, they provide fascinating descriptions of how these different cultures define the person. But they also raise deeper theoretical issues: What is universally constant and what is culturally variable in people's thinking about the person? How can these variations be explained? Has there been a general progressive development toward the modern Western view of the person? What is distinctive about this? How do one's notions of the person inform one's ability to comprehend alternative formulations? These questions are of compelling interest for a wide range of anthropologists, philosophers, historians, psychologists, sociologists, orientalists, and classicists. The book will appeal to any reader concerned with understanding one of the most fundamental aspects of human existence.

Categories and Computer Science

Categories and Computer Science
Author: R. F. C. Walters
Publisher: Cambridge University Press
ISBN: 0521422264
Pages: 166
Year: 1991
View: 1259
Read: 595

Category Theory has, in recent years, become increasingly important and popular in computer science, and many universities now introduce Category Theory as part of the curriculum for undergraduate computer science students. Here, the theory is developed in a straightforward way, and is enriched with many examples from computer science.

What is Category Theory?

What is Category Theory?
Author: Giandomenico Sica
Publisher: Polimetrica s.a.s.
ISBN: 8876990313
Pages: 290
Year: 2006-01-01
View: 565
Read: 1154

Category Theory for the Sciences

Category Theory for the Sciences
Author: David I. Spivak
Publisher: MIT Press
ISBN: 0262028131
Pages: 486
Year: 2014-10-10
View: 308
Read: 1291

An introduction to category theory as a rigorous, flexible, and coherent modeling language that can be used across the sciences.

Category Theory in Context

Category Theory in Context
Author: Emily Riehl
Publisher: Courier Dover Publications
ISBN: 0486820807
Pages: 272
Year: 2017-03-09
View: 352
Read: 831

Introduction to concepts of category theory — categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctions, monads — revisits a broad range of mathematical examples from the categorical perspective. 2016 edition.

An Introduction to the Language of Category Theory

An Introduction to the Language of Category Theory
Author: Steven Roman
Publisher: Birkhäuser
ISBN: 331941917X
Pages: 169
Year: 2017-02-20
View: 811
Read: 1312

This textbook provides an introduction to elementary category theory, with the aim of making what can be a confusing and sometimes overwhelming subject more accessible. In writing about this challenging subject, the author has brought to bear all of the experience he has gained in authoring over 30 books in university-level mathematics. The goal of this book is to present the five major ideas of category theory: categories, functors, natural transformations, universality, and adjoints in as friendly and relaxed a manner as possible while at the same time not sacrificing rigor. These topics are developed in a straightforward, step-by-step manner and are accompanied by numerous examples and exercises, most of which are drawn from abstract algebra. The first chapter of the book introduces the definitions of category and functor and discusses diagrams,duality, initial and terminal objects, special types of morphisms, and some special types of categories,particularly comma categories and hom-set categories. Chapter 2 is devoted to functors and naturaltransformations, concluding with Yoneda's lemma. Chapter 3 presents the concept of universality and Chapter 4 continues this discussion by exploring cones, limits, and the most common categorical constructions – products, equalizers, pullbacks and exponentials (along with their dual constructions). The chapter concludes with a theorem on the existence of limits. Finally, Chapter 5 covers adjoints and adjunctions. Graduate and advanced undergraduates students in mathematics, computer science, physics, or related fields who need to know or use category theory in their work will find An Introduction to Category Theory to be a concise and accessible resource. It will be particularly useful for those looking for a more elementary treatment of the topic before tackling more advanced texts.

Categories for Types

Categories for Types
Author: Roy L. Crole
Publisher: Cambridge University Press
ISBN: 0521457017
Pages: 335
Year: 1993
View: 244
Read: 223

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory, which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic functional type theory. For each of these the categorical semantics are derived and results about the type systems are proved categorically. Issues of soundness and completeness are also considered. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specializing in category theory.

Aristotle on the Category of Relation

Aristotle on the Category of Relation
Author: Pamela Michelle Hood
Publisher: University Press of America
ISBN: 0761830073
Pages: 154
Year: 2004
View: 1031
Read: 930

In Aristotle on the Category of Relation, Pamela Hood challenges the view that Aristotle's conception of relation is so divergent from our own that it does not count as a theory of relation at all. This book presents compelling evidence that Aristotle's theory of relation is more robust than originally suspected.

Basic Category Theory

Basic Category Theory
Author: Tom Leinster
Publisher: Cambridge University Press
ISBN: 1107044243
Pages: 190
Year: 2014-07-24
View: 536
Read: 1059

A short introduction ideal for students learning category theory for the first time.

Handbook of Categorical Algebra: Volume 1, Basic Category Theory

Handbook of Categorical Algebra: Volume 1, Basic Category Theory
Author: Francis Borceux
Publisher: Cambridge University Press
ISBN: 0521441781
Pages: 345
Year: 1994-08-26
View: 370
Read: 958

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 such it will be a unique reference. The volumes are written in sequence, with the first being essentially self-contained, and are accessible to graduate students with a good background in mathematics. In particular, Volume 1, which is devoted to general concepts, can be used for advanced undergraduate courses on category theory.

Accessible Categories

Accessible Categories
Author: Michael Makkai, Robert Paré
Publisher: American Mathematical Soc.
ISBN: 082185111X
Pages: 176
Year: 1989
View: 700
Read: 772

Intended for category theorists and logicians familiar with basic category theory, this book focuses on categorical model theory, which is concerned with the categories of models of infinitary first order theories, called accessible categories. The starting point is a characterization of accessible categories in terms of concepts familiar from Gabriel-Ulmer's theory of locally presentable categories. Most of the work centers on various constructions (such as weighted bilimits and lax colimits), which, when performed on accessible categories, yield new accessible categories. These constructions are necessarily 2-categorical in nature; the authors cover some aspects of 2-category theory, in addition to some basic model theory, and some set theory. One of the main tools used in this study is the theory of mixed sketches, which the authors specialize to give concrete results about model theory. Many examples illustrate the extent of applicability of these concepts. In particular, some applications to topos theory are given. Perhaps the book's most significant contribution is the way it sets model theory in categorical terms, opening the door for further work along these lines. Requiring a basic background in category theory, this book will provide readers with an understanding of model theory in categorical terms, familiarity with 2-categorical methods, and a useful tool for studying toposes and other categories.

From Good Goddess to Vestal Virgins

From Good Goddess to Vestal Virgins
Author: Ariadne Staples
Publisher: Routledge
ISBN: 113478788X
Pages: 217
Year: 2013-02-01
View: 328
Read: 374

The role of women in Roman culture and society was a paradoxical one. On the one hand they enjoyed social, material and financial independence and on the other hand they were denied basic constitutional rights. Roman history is not short of powerful female figures, such as Agrippina and Livia, yet their power stemmed from their associations with great men and was not officially recognised. Ariadne Staples' book examines how women in Rome were perceived both by themselves and by men through women's participation in Roman religion, as Roman religious ritual provided the single public arena where women played a significant formal role. From Good Goddess to Vestal Virgins argues that the ritual roles played out by women were vital in defining them sexually and that these sexually defined categories spilled over into other aspects of Roman culture, including political activity. Ariadne Staples provides an arresting and original analysis of the role of women in Roman society, which challenges traditionally held views and provokes further questions.

Market Wizards: Interviews with Top Traders

Market Wizards: Interviews with Top Traders
Author: Jack D. Schwager
Publisher: John Wiley & Sons
ISBN: 1118538714
Pages: 480
Year: 2016-05-04
View: 465
Read: 742

THE INVESTMENT CLASSIC "I've read Market Wizards at several stages of my career as it shows the staying power of good down-to-earth wisdoms of true practitioners with skin in the game. This is the central document showing the heuristics that real-life traders use to manage their affairs, how people who do rather than talk have done things. Twenty years from now, it will still be fresh. There is no other like it." —NASSIM N. TALEB, former derivatives trader, author of The Black Swan, and professor, NYU-Poly "Market Wizards is one of the most fascinating books ever written about Wall Street. A few of the 'Wizards' are my friends—and Jack Schwager has nailed their modus operandi on the head." —MARTIN W. ZWEIG, PhD, Editor, The Zweig Forecast "It is difficult enough to develop a method that works. It then takes experience to believe what your method is telling you. But the toughest task of all is turning analysis into money. If you don't believe it, try it. These guys have it all: a method, the conviction, and the discipline to act decisively time after time, regardless of distractions and pressures. They are heroes of Wall Street, and Jack Schwager's book brings their characters vividly to life." —ROBERT R. PRECHTER, JR., Editor, The Elliott Wave Theorist

Recent Post