retracts of a small subcategory as essentially small subcategory

Proposition

Proof

Let 20241206-retracts_of_a_small_subcategory_as_essentially_small_subcategory_9d5a7cc2d8554e5750187c6d0b154d7d551c8000.svg be a retract with 20241206-retracts_of_a_small_subcategory_as_essentially_small_subcategory_7d9569c343054e0059f513d1d52fcce4a7b2b922.svg for some 20241206-retracts_of_a_small_subcategory_as_essentially_small_subcategory_699c45cde03cc5583ad66a2e4128d5cc21e943d9.svg.
Then this determines a morphism 20241206-retracts_of_a_small_subcategory_as_essentially_small_subcategory_95b76c47958554faa62fd95f2aa52243abcc6ecd.svg.

It remains to show, that that two retracts 20241206-retracts_of_a_small_subcategory_as_essentially_small_subcategory_81b1686b5035f5d53abc3e56c47e4d8acab37000.svg with 20241206-retracts_of_a_small_subcategory_as_essentially_small_subcategory_c35f4d271af61e7f7df499d1e6cfd9a08520b946.svg are equivalent.
Consider

20241206-retracts_of_a_small_subcategory_as_essentially_small_subcategory_936f47201733d2dabe2c3c5b8733406b999cbbf5.svg

which is an equivalence

Date: nil

Author: Anton Zakrewski

Created: 2024-12-09 Mo 07:58