圏である。 2つのモノイド構造 $`\oplus, O, \otimes, I`$ 分配法則で半環圏 自己双対なコンペクト閉圏 $`\otimes, \triangleleft, \triangleright`$ さまざまなカリー化／反カリー化 $`-^\cap, {^\cap -}, {_\cup - }, {-_\cup}`$ 転置〈反転〉 終対象と始…

https://www.academia.edu/28844867/Quantum_Kan_Extensions_and_Applications（ローカルにダウンロード済み）の記法の約束Guide to NotationNew terms are underlined when defined. Bibliography citations appear in brackets such as [102]. Cross refer…