Categories for the Working Mathematician
《Categories for the Working Mathematician》 · 第 70 页 · Chapter III, Section 3
The equalizer of \(f,g:a\to b\) is a universal arrow \(e:r\to a\) such that \(fe=ge\).
Categories for the Working Mathematician
《Categories for the Working Mathematician》 · 第 70 页 · Chapter III, Section 3
The equalizer of \(f,g:a\to b\) is a universal arrow \(e:r\to a\) such that \(fe=ge\).
已有 0 人核验