Talk:Cokernel

Vector spaces before categories

I went ahead and put the definition for vector spaces before that for categories. I think that the most fundamental example should be before the definition in full generality. It is important to realize that not every mathematician is comfortable with the language of categories, whereas all are familiar with vector spaces. Furthermore, the most common versions of the cokernel (abelian groups and modules over a commutative ring) do not require this level of generality, and can be extrapolated from the vector space definition. silly rabbit (talk) 12:41, 14 March 2008 (UTC)

It currently reads a little bit strangely; it gives the definition in the case of vector spaces, but then does nothing with it. The article is on cokernels in category theory throughout; perhaps this definition would be better suited to an example section. 129.2.164.85 (talk) 06:05, 15 February 2010 (UTC)

Is this about linear algebra?

I came to this page because "left null space" redirects here, and I wanted to read up on that concept from linear algebra. However, to one uninitiated in category theory, this page is incomprehensible to the extent that I can't even tell if it's about a concept that maps to the one I know as "left null space" or something completely different.

If the page is about left null spaces in linear algebra, it should be re-written to at least give an introduction that doesn't require advanced math from a different field; if it's about a different concept, the redirect should be removed.

131.112.112.6 (talk) 03:02, 23 October 2015 (UTC)

Agreed. Left null space gives a better linear algebra perspective. Wqwt (talk) 07:21, 13 March 2018 (UTC)

This is super interesting. Technically, the left null space ($Ker({}^{t}T)$) is a subspace of $W^{*}$ whereas the cokernel ($W/Im(T)$) is a quotient space. There are however related. The first thing that comes to the mind is chose a basis $(\mathbf {k} _{1},\cdots ,\mathbf {k} _{q})$ of $Ker({}^{t}T)$. This defines the surjection $\varphi$:

${\begin{aligned}W&\longrightarrow \mathbb {K} ^{q}\\\mathbf {w} &\longmapsto {\big (}\mathbf {k} _{1}(\mathbf {w} ),\cdots ,\mathbf {k} _{q}(\mathbf {w} ){\big )}\end{aligned}}$

and by the first isomorphism theorem, one has a bijection $W/ker(\varphi )\simeq \mathbb {K} ^{q}$. But $Vect(\mathbf {k} _{1},\cdots ,\mathbf {k} _{q})=Ker({}^{t}T)\simeq \mathbb {K} ^{q}$.

There may be a better link but at least here is something.Noix07 (talk) 12:12, 17 April 2018 (UTC)

universal property diagram clipped harmfully

The universal property diagram is clipped such that the Q' looks like Q. This is super misleading. (Sorry I do not know how to fix svg file.)