今後、Haghverdi/Scott（ハグヴェルディ(?)／スコット）の意味で用語「部分トレース付き圏」を使う→http://www.site.uottawa.ca/~phil/papers/HS-APAL-05.pdf 。一様性（uniformity）を持つ部分トレース付き圏を定義する； 対称モノイド圏C = (C, ×, 1, σ)に…

ショー君に頼んで、 Wagneur, E. "Moduloids and Pseudomodules. I. Dimension theory." Discrete Mathematics, 98, 57-73, 1991 を入手した。確かに次元論について書いてあるのだが、どうも仮定が強すぎる。一般論は絶望的だから、仮定が必要なのは当然だが…