Category至上主義者に聞きたいが、｢群とは、objectが1個でmorphismが総てequivalenceであるようなcategoryである｣
と言って、何が良いのかね？
そりゃ正しいのは分るが、そういう定義を採用した所で例えば有限単純群の分類が簡単に出来るようになる訳でも無いし･･･