## Abstract and Concrete Categories: The Joy of CatsA 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. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Preface | 1 |

Categories Functors and Natural Transformations | 11 |

Objects and morphisms in abstract categories | 91 |

Copyright | |

15 other sections not shown

### Other editions - View all

Abstract and Concrete Categories: The Joy of Cats Jiri Adamek,Jiří Adámek (ing.),Horst Herrlich,George E. Strecker No preview available - 2009 |

### Common terms and phrases

A-morphism A-object algebraic amnestic arrow associated belongs called cartesian closed co-wellpowered cocomplete coequalizer colimits commutes complete composition concept concrete category concrete functor considered consisting construct COROLLARY correspondence defined DEFINITION denoted diagram discrete domain dual element embedding epimorphisms equalizer essentially EXAMPLES Exercise exists exists a unique fact factorization structure faithful faithful functor final finitary finite following conditions forgetful functor free objects full subcategory function functor G Galois given Hence hold hull identity Immediate implies initial injective isomorphism lift limits maps Math monadic mono-source morphism object ordered pair partial particular precisely preserves Proof Proposition Prove pullback quotient reflective subcategory regular regular epimorphisms relation REMARK representable resp retraction satisfies Show sink situation square strongly subobjects Theorem theory topological unique universal X-morphism