kernel pair

1. Definition

Let 20231215-kernel_pair_760824120891fc757bc0445145b027d09b237baa.svg be a category, 20231215-kernel_pair_148a615a12d1fb791f9c304089a080db97dc345c.svg be objects and 20231215-kernel_pair_97a87bf3386d9d22e8b4e5c831f624db9871c29b.svg a morphism.

A kernel pair is pullback

20231215-kernel_pair_91f703b156b0885433a1441bf14eac329673cd57.svg

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 23:50