Tag Archives: categorification

what is the second abstraction lemma in the mother category?

category diagram of set, binary relation and maps

abstraction lemma two

Given a simple map f:S\to T then f can be factored as f=\beta\circ\rho where \rho is the projection S\to S/{\sim} defined as \rho(s)=[s] that is surjective, and \beta:\frac{S}{\sim}\to T defined as \beta([x])=f(x) that is injective


1 Comment

Filed under algebra, cucei math, math, maths, what is math