SSレポートは問題提起だね
圏論から見て充満多重同型とラベルの位置づけ
はどうなの?