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

readmore

1 Comment

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

One response to “what is the second abstraction lemma in the mother category?

  1. Pingback: double coset counting formula | janmarqz

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s