concrete category and element chase

1. Proposition

Let 20231215-concrete_category_and_element_chase_760824120891fc757bc0445145b027d09b237baa.svg be a concrete category and

20231215-concrete_category_and_element_chase_f3eb13938ae89ae7e1a4ff3756f725425317588a.svg

a diagram (which may not commute).

Then one can element chase in 20231215-concrete_category_and_element_chase_fa6f14d2189f93bebf4e94e9fcb80910dda0fde4.svg

2. Proof

corollary of

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 23:49