対蹠の一貫性

対蹠作用素（antipodal operator）の弱いバージョンを考える。モノイド積は並置で表す。

1. τ_A:A^##→A
2. ι:I^#→I
3. δ_A,B:(AB)^#→B^#A^#

とりあえず思いつく一貫性。可換図式じゃなくて、棚みたいな書き方をする。

 I##

 ↓(ι)#

 I#

 ↓ι

 I
equals
 I##

 ↓τI

 I

 ((AB)C)#

 ↓δ

 C#(AB)#

 ↓C#δ

 C#(B#A#)
equals
 ((AB)C)#

 ↓(α')#

 (A(BC))#

 ↓δ

 (BC)#A#

 ↓δA#

 (C#B#)A#

 ↓α

 C#(B#A#)