In mathematics, the cokernel of a linear map between vector spaces is the quotient of the codomain by the image of the map, capturing the failure of the map to be surjective. It is a fundamental concept in homological algebra and is used to understand the structure of modules and abelian groups in terms of exact sequences.