先輩（先生？）方コメントありがとうございます。
>>744
>普遍要素
F: C → Sets、F(A)：Cの対象 A に対応するSets内の対象つまり集合、
としたときの、F(A)の要素という理解です。
普遍要素から自然変換が完全に定まるというのは、説明すれば中学生でも
すぐに分ることにみえるので、それがなになの？と尾もてしまのです．
>hom関手について
ここに書かれているのはどの教科書にもある説明なのでそれ自体は読めるのですが、
hom関手って何？と要約しないと、分ったことにならないのではないでしょうか？
>>743
>論理や数式を丁寧にフォローすることを億劫がってはいけない。
これはよく言われることで一見正論に聞こえますが、フォローするだけなら
むつかしいことではないし、つまらないと思います。
どこかに書いてある数式の羅列をそのまま読んでもらってもやっぱりつまらない
んですよね。