forgetful functor from Ab to Set as conservative functor
1. Proposition
The underlying-set functor from Category Ab to category set is a conservative functor
The underlying-set functor from Category Ab to category set is a conservative functor
Date: nil
Created: 2024-10-14 Mo 08:55