slice category

1. Definition

Let 20230510092709-slice_category_760824120891fc757bc0445145b027d09b237baa.svg be a category and 20230510092709-slice_category_80d346988d93e43cce1f3f6a6bb2488d6e663fbe.svg Then the slice category 20230510092709-slice_category_605dccd699e308360f37fc4da55e44638178f081.svg is defined containing following:

  1. pairs 20230510092709-slice_category_518bd8b848f90426856322f63d6d22b6f9d3d729.svg for morphisms 20230510092709-slice_category_f8b5282de1cb56879f7e17491e807298fb205b9a.svg as objects
  2. morphisms 20230510092709-slice_category_8e40de64c2dc2d9d986e3c86965c7b6748f894a8.svg as 20230510092709-slice_category_0750dedca62629193e15bf1f073e09805a25d7ef.svg for objects 20230510092709-slice_category_06c337fa40a797f8a00d015bd8a6bafe3c851d89.svg such that following diagram commutes
20230510092709-slice_category_1d0b32c4c0461bcbec7faccf9d86f15090fac3ab.svg

Date: nil

Author: Anton Zakrewski

Created: 2024-10-12 Sa 23:14