タグ「category」

ようやく理解した米田の補題とHom関手

圏論の基本と米田の補題がどう嬉しいのか。証明は書いてありません。