coslice category

1. Definition

A coslice category is a slice category in the opposite category

2. Explicite

Let 20230402145452-coslice_category_760824120891fc757bc0445145b027d09b237baa.svg be a category and 20230402145452-coslice_category_80d346988d93e43cce1f3f6a6bb2488d6e663fbe.svg. Then the coslice category 20230402145452-coslice_category_faf19ec5daa3b7b67604585b64872c986ad39cd7.svg is defined with:

  1. objects: morphisms 20230402145452-coslice_category_f6894e8c53da2427ea9edab2f7c384f4a612d63b.svg
  2. morphisms: morphisms 20230402145452-coslice_category_6dd3aeb13a96fdfe563affee245f8ad8fc193176.svg as morphism in 20230402145452-coslice_category_c0092a2764bf979e204d8a14de8ac729c35d13bd.svg such that following diagram commutes
20230402145452-coslice_category_afc3547c6f3e8f06d4cb64806f0002ff6df4709a.svg

Date: nil

Author: Anton Zakrewski

Created: 2024-10-11 Fr 22:19