abelianization functor
1. Definition / Proposition
Given category Group and Category Ab, the abelianization functor is defined as covariant functor
where 
is the unique morphism obtained by
Given category Group and Category Ab, the abelianization functor is defined as covariant functor
where is the unique morphism obtained by
Date: nil
Created: 2024-10-19 Sa 21:22