>>495
圏の本質を例示しながら理解してもらうという点では、集合の圏を例に出すのはあまり良くない
理由は、説明の際に id 以外の射を工夫しないと説明が途中で破綻するから

圏の定義だけ目の前に出して、圏はこれがすべてです、が一番良い