Handbook of Categorical Algebra: Volume 1, Basic Category TheoryCambridge University Press, 26 ago 1994 - 345 páginas 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. |
Índice
1 The language of categories | 1 |
2 Limits | 38 |
3 Adjoint functors | 96 |
4 Generators and projectives | 132 |
5 Categories of fractions | 176 |
6 Flat functors and Cauchy completeness | 250 |
7 Bicategories and distributors | 281 |
8 Internal category theory | 325 |
Bibliography | 341 |
343 | |
Otras ediciones - Ver todo
Handbook of Categorical Algebra: Volume 1, Basic Category Theory Francis Borceux Vista previa restringida - 1994 |
Handbook of Categorical Algebra: Volume 1, Basic Category Theory Francis Borceux No hay ninguna vista previa disponible - 2008 |
Términos y frases comunes
2-category 2-cells 2-functor abelian groups adjoint functor axiom B(FA bicategory bidense morphisms bijection canonical morphisms category of sets Cauchy complete choose cocomplete cocone coequalizer colim commutative composition law conditions are equivalent cone Consider a category Consider a functor consider diagram continuous mappings contravariant coproduct corresponding deduce defined definition dense distributors Elts(F equality equivalence relation example exists a unique filtered colimits finite limits finitely complete category flat functor following conditions full and faithful functor F given go f group homomorphism identity injective internal category inverted isomorphism Kan extension kernel pair left adjoint left exact monomorphism morphism ƒ natural transformation notation notion phism preserves Proof Proposition pullback quotient reflective subcategory representable functor right adjoint small category strong epimorphism subobject surjective theorem topological spaces unique factorization unique morphism universal closure operation write Yoneda embedding ΕΙ