Tricocycloids and lax tricocycloids in a monoidal category
A lax tricocycloid is the non-invertible version. The following is the definition in the Set, the category of functions.
- tricocyloid in a physical duoidal category
- the 0-ary guards of a probabilistic language form a tricocycloid
- every bialgebra induces a lax tricocycloid from a bialgebra.
- every Hopf algebra induces a tricocycloid.
Symmetric tricocycloids
A symmetric tricocycloid has an extra endomorphism that behaves like a negation.
Algebras of a symmetric tricocycloid
