free abelian group functor as left adjoint
1. Proposition
the free abelian group functor is a left adjoint to the underlying-set functor
the free abelian group functor is a left adjoint to the underlying-set functor
Date: nil
Created: 2024-10-13 So 18:42