What people are saying - Write a review
We haven't found any reviews in the usual places.
Categories Functors and Natural Transformations
Constructions on Categories
Universals and Limits
26 other sections not shown
Other editions - View all
abelian category abelian groups adjoint functor adjoint functor theorem adjunction F algebra arrow h assigns axioms bifunctor bijection binary biproduct called CGHaus codomain coend cokernel colimits comma category commutative diagram components composite construction continuous maps coproduct counit defined definition described dinatural domain dual elements equalizer equivalence example Exercises exists factors forgetful functor full subcategory functor category functor F given graph Hausdorff spaces hence hom-sets homomorphism identity arrow implies initial object injective inverse kernel left adjoint limiting cone Mac Lane monad monic monoidal category morphism natural isomorphism natural transformation object function pair of arrows parallel pair preorder projections Proof Proposition prove pullback quotient R-Mod R-module right adjoint right Kan extension ring simplicial small hom-sets small set small-complete square commutes subobjects subset T-algebras tensor product terminal object topological space unique arrow unit universal arrow usual vector space vertex