Lawvere theory induced by a tricocycloid

The idea goes back to the guarded union axioms of guarded Kleene algebra with tests.

References

• Abstract Hypernormalisation, and Normalisation-by-Trace-Evaluation for Generative Systems (Garner, 2022)

Tags: tricocycloid, Lawvere theory.