Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
monomorphism [2015/03/16 23:48] nikolaj |
monomorphism [2015/03/17 14:08] nikolaj |
||
---|---|---|---|
Line 17: | Line 17: | ||
$f(x)=g(y)\implies x=y$. | $f(x)=g(y)\implies x=y$. | ||
+ | |||
+ | === Theorems === | ||
+ | The pullback of a mono is mono. | ||
=== Discussion === | === Discussion === |