>>537
アーベル群全体のなす圏Abのopposite圏をCとすると
Abでの無限直和Sと無限直積TはそれぞれCでの無限直積と無限直和になるが、
AbではSからTへ全射がないこともあり、そのときCではTからSにmonoはない