偏極で係数なしのテンパリー／リーブ圏の作り方
- 生成元が6つ
- ニョロニョロ関係式が4つ
- マル関係式が2つ
生成元：
- ↑, ↓, ∩→, ←∩, ∪→, ←∪
関係：
□は単位対象Iの恒等を表すとする。
- ニョロニョロは割愛
- マル関係式 時計回り： ∩→;←∪ = □,
- マル関係式 反時計回り： ←∩;∪→ = □
[追記]TeX記法で書くと多少はマシか。
[/追記]
このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。
今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。
生成元：
関係：
□は単位対象Iの恒等を表すとする。
[追記]TeX記法で書くと多少はマシか。
[/追記]