Abstract and Concrete Categories: The Joy of Cats
by Jiri Adamek, Horst Herrlich, George Strecker
Publisher: John Wiley & Sons 1990
ISBN/ASIN: 0471609226
ISBN-13: 9780471609223
Number of pages: 496
Description:
A modern introduction to the theory of structures via the language of category theory. Unique to this book is the emphasis on concrete categories. Also noteworthy is the systematic treatment of factorization structures, which gives a new, unifying perspective to earlier work and summarizes recent developments. Each categorical notion is accompanied by many examples, usually moving from special cases to more general cases. Comprises seven chapters; the first five present the basic theory, while the last two contain more recent research results in the realm of concrete categories, cartesian closed categories and quasitopoi. The prerequisite is an elementary knowledge of set theory. Contains exercises.
Download or read it online for free here:
Download link
(4.2MB, PDF)
Similar books
Categories, Types, and Structuresby Andrea Asperti, Giuseppe Longo - MIT Press
Here is an introduction to category theory for the working computer scientist. It is a self-contained introduction to general category theory and the mathematical structures that constitute the theoretical background.
(20907 views)
Seminar on Triples and Categorical Homology Theoryby B. Eckmann - Springer
This volume concentrates a) on the concept of 'triple' or standard construction with special reference to the associated 'algebras', and b) on homology theories in general categories, based upon triples and simplicial methods.
(13593 views)
Notes on Category Theory with examples from basic mathematicsby Paolo Perrone - arXiv
These notes were originally developed as lecture notes for a category theory course. They should be well-suited to anyone that wants to learn category theory from scratch and has a scientific mind. There is no need to know advanced mathematics.
(2632 views)
Basic Category Theoryby Jaap van Oosten - University of Utrecht
Contents: Categories and Functors; Natural transformations; (Co)cones and (Co)limits; A little piece of categorical logic; Adjunctions; Monads and Algebras; Cartesian closed categories and the lambda-calculus; Recursive Domain Equations.
(14702 views)