「絵算で見る「カザネスク/ステファネスク/ハイランド/長谷川の定理」」にて: トレースについて今は説明しませんが、次のような公理で特徴付けられます。 バニッシング(アクション性) タイトニング(自然性) スライディング スーパーポージング(強度性*1) ヤンキング たまたま次の論文で、トレース付き対称モノイド圏の絵を見つけたので、少し説明します。 Title: Diagrammatic Representations in Domain Specific Languages (2001) Author: Konstantinos Tourlas URL: http://www.lfcs.inf.ed.ac.uk/reports/02/ECS-LFCS-02-426/ECS-LFCS-02-426.ps pages: 158 僕が常々面白がっている話題の割には言及が少ないな>トレース付き圏
![トレース付き対称モノイド圏とはこんなモノ - 檜山正幸のキマイラ飼育記 (はてなBlog)](https://cdn-ak-scissors.b.st-hatena.com/image/square/1d43ef066beb8af7338c6a3559ae412f328fda24/height=288;version=1;width=512/http%3A%2F%2Fwww.chimaira.org%2Fimg2%2Ftraced-cat-axioms-1.gif)