2010-07-23 閉包は全トレースと呼びたい DFD トレース/コンパクト閉圏 次の図:全トレースを取ると、観測的には見えなくなるけど、図形としてはちゃんと存在している。実は、モノイド積(テンソル積)とスカラーの取り方によっては、観測的にも見えることがある。