「米田テンソル計算 3： 米田の「よ」、米田の星、ディラックのブラケット 再論」にて： 圏の対象・射の{余}?米田埋め込みと関手・自然変換の{余}?米田埋め込みの両方に米田の星を使ってますが、これはオーバーロードです。両者はすこし別な対応です。僕は、…