structures.これを読んで「えっ?」と思いました。Corradini〉により考案された構造です。https://www.semanticscholar.org/paper/An-Algebraic-Presentation-of-Term-Graphs%2C-via-Corradini-Gadducci/0f1f352eb2a614e0f77958292ab59ec50a2ee6c7現在は、ガーデュチ/コーラディーニ論文の本文にアクセスするのは難しいようです(どこかにあるかも知れませんが)。次の論文なら中身を読めます。https://www.sciencedirect.com/science/article/pii/S1571066104805607次のような文言が見つかります(強調は檜山)。terms).別に文句を付けたいわけではありません。解釈を今風に変更したわけで、なんら悪いことではありませんからね。論文を書いているようです。略称という名目で定着するのかも知れません。Selinger〉もgsモノイド圏と同じ概念を提案してるんですよね。diagonals〉はgsモノイド圏と同じものです。いう名前)を創始したのも1990年代なので、前世紀末に、ほぼ同時・独立にマルコフ圏/CD圏の概念が生まれていたわけですね。*1:確率論への本格的応用を開始したという意味でマルコフ圏の創始者と言ってもいいかも知れません。https://www.youtube.com/watch?v=pWZlnnKqGs0、今まで「セリンガー」と書いてましたが、「セレンジャー」に近いようです。読者になる関連記事2023-12-22原子射と末端射2012年に「デジタルなモノイド」という記事を書きました。概圏」において次のように書きました。昨日、ドクトリンの話をしたので、ドクトリン概念(ただし安直...2021-02-17ローヴェア流セオリー論と統計モデル次はイバン・パターソンの学位論文です。1はてなブログをはじめよう!m-hiyamaさんは、はてなブログを使っています。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。