圏に類似した代数系〈category-like algebraic {system | structure}〉には、複圏〈オペラッド〉、多圏、モジュラーオペラッドなどがあります。これらの代数系は、「射」「セル」「オペレーション〈オペレーター〉」「辺」「ボックス」「テンソル」などと呼…

概念の定義・定式化やその相互関係を調べようと思うとき、なにかに惑わされて目の前が曇ってしまいよく見えない、みたいな状況になることがあります。そんな状況に対するアドバイス（主に自分に向けて）。 集合だと思っているけど、実は亜群じゃないの？ 亜…

今年（2025年）最初の投稿。内容はいつもと変わらんけど。スケマティック集合（組み合わせ幾何的対象物）のなかで扱いやすいモノとして、一般化ハイパーグラフを定義しました。 一般化ハイパーグラフ 一般化ハイパーグラフ 再論 一般化ハイパーグラフは、間…