Subcategories and Products of Categories

  • Czesław Bylínski
  • Published 1990
Thesubcategoryof a category and product of categories is defined. The inclusion functoris the injection (inclusion) map ↪→ which sends each object and each arrow of a SubcategoryE of a categoryC to itself (in C). The inclusion functor is faithful.Full subcategoriesof C, that is, those subcategories E of C such that HomE(a,b) = HomC(b,b) for any objectsa,b… (More)