>>477
圏は圏の定義(オブジェクト、射)だけが本質
抽象度が高すぎるので中身はどうでもよくなってしまっていて、この定義だけが圏論の本質といえる