Placement of ⊙-bicharades within known mathematical structures
Determine the mathematical classification or conceptual context of a ⊙-bicharade, defined by an object B in a symmetric monoidal category together with a morphism E: B⊗B → B⊗B satisfying (1⊗E)(E⊗1)=(E⊗1)(1⊗σ)(E⊗1)(1⊗σ)(1⊗E), where σ is the symmetry. Clarify whether such structures correspond to any established algebraic or categorical notions or constitute a new class.
References
We have no idea where to place this object.
— Bivariant operadic categories
(2402.12963 - Markl, 20 Feb 2024) in Example 29, Section 4 (Bicharades)