アリーナ1 {旅行 → {1日目, 2日目, 3日目}} $`y^3`$ アリーナ2 {和 → {焼き魚, 煮魚, 刺し身}, 洋 → {グリルチキン}, 中華 → {エビチリ, 麻婆豆腐}} $`y^3 + y + y^2`$ アリーナ3 {和 → {羊羹, わらび餅}, 洋 → {ショートケーキ, モンブラン, ババロア}} $`y…

トレース付きモノイド圏の新しい定義 圏論的レンズ 4： テレオロジー圏 トレース付き圏の公理を次のように名付ける。 バニシング バンドリング （通常はバニシング 2） タイトニング スライディング ヤンキング スーパーポージング テレオロジー圏のトートロ…