enriched category

1. Definition

Let 20240121-enriched_category_51e9d27164d5ddc893e0cdefce5b1514a42f5a8a.svg be a monoidal category. Then 20240121-enriched_category_985b96adbc801fbbbe00ac354f4e5f9fa2a8c5dd.svg is said to be an enriched category over 20240121-enriched_category_51e9d27164d5ddc893e0cdefce5b1514a42f5a8a.svg, if 20240121-enriched_category_985b96adbc801fbbbe00ac354f4e5f9fa2a8c5dd.svg contains

  1. a class of objects
  2. for each pair 20240121-enriched_category_225ce5ee26b18266dfd4164598506e2894bbbe47.svg of objects a hom object 20240121-enriched_category_e36bbcfbd7b937a242ca0614287e84b60c878e10.svg
  3. a composition functor
20240121-enriched_category_9f79a22e520e82d201a22c6178cc9d11995d4cb4.svg
  1. for each 20240121-enriched_category_8d0ec1f8419cdd5e3c6e843ce3cdab4c04cd2e63.svg a morphism
20240121-enriched_category_09511ccb6678237a42d92b7af3d9f6cd2d8a4993.svg
  1. such that 20240121-enriched_category_c3705ae0953006d80567a6cf7623c1c4b008d47e.svg is a
20240121-enriched_category_94efaa9df48e8683d0cf3318961aaf2388e6f974.svg

and

20240121-enriched_category_13a453dc3d305462e1e2fdfdf1446c5ea0d77ea8.svg

Date: nil

Author: Anton Zakrewski

Created: 2024-10-20 So 08:57