用語法、表記法
- オペレーター | オペレータ | 演算子 | 作用素 | コンビネータ | コンビネーター
- コンストラクタ | コンストラクター | 構成子 | 構築子 | 生成子
例
- トレースオペレーター
- 不動点オペレーター
- CADGの微分オペレーター／微分コンビネータ
- デカルトペアリング・オペレーター
- カリー同型オペレーター
- 射影オペレーター（確率分布）
- 対角オペレーター（セリンガー）
- クライスリ拡張オペレーター（モナド）
参考 古い→新しい ：
- モナドの定義とか 2006-04
- なぜ「光が影を作ること」と「主張の一部を再主張すること」が関係するのか；あるいは、デカルト圏入門 2007-04
- 直積と射影がらみの高階関数たちの相関図 2007-04
- こんな簡単なトレース付きモノイド圏があったなんて 2010-09
- 絵算で見る「カザネスク／ステファネスク／ハイランド／長谷川の定理」 2010-10
- トレース付き対称モノイド圏とはこんなモノ 2010-10
- トレース付きモノイド圏の新しい定義 2010-10
- トレースのタイトニングが自然変換であること 2013-09
- 不動点理論と対角自然性（dinaturality） 2013-09
- 不動点の対角自然性（dinaturality）はやっぱり五角形可換らしい 2013-10
- アローの3文字演算子と対角付きプレモノイド圏 2015-03
- プレモノイド圏上の擬余対角 2015-03
- 圏論的モダリティ：圏上の非自然な構造達 2017-04
- 対称モノイド圏の余可換コモノイド・モダリティ 2017-04 （フラグメントID）
- 非全域関手と非自然変換 2017-04
- 余可換コモノイド・モダリティ事件の解説 2017-04
- 圏論的コンストラクタと圏論的オペレータ： 関手性・自然性の呪縛からの脱却 2017-05
