Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Lawvere theories re defined in 1963 as a category theoretic axiomatisation of the notion of a clone of an equational theory. A connection was soon established with the notion of monad, which had been extant in algebraic topology for the previous decade. Monads, although mathematically the less direct and less malleable formulation, rapidly gained precedence. In 1987, they re proposed as a unified model of computational effects, but without reference to universal algebra. But universal algebra is central to the idea of computational effect, as it provides a theoretical foundation for the computational operations that give rise to the effect. Recognition of that fact has led to rened prominence of the notion of Lawvere theory.  study the history of the development, in particular asking why Lawvere theories re eclipsed by monads, and how the rened interest in them in the setting of computational effects might develop.
['John Power']
I am writing a research paper on a idea The universal algebra of computational effects: Lawvere theories and monads
[{"from": "human", "value": "I am writing a research paper on a idea The universal algebra of computational effects: Lawvere theories and monads"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Lawvere theories re defined in 1963 as a category theoretic axiomatisation of the notion of a clone of an equational theory. A connection was soon established with the notion of monad, which had been extant in algebraic topology for the previous decade. Monads, although mathematically the less direct and less malleable formulation, rapidly gained precedence. In 1987, they re proposed as a unified model of computational effects, but without reference to universal algebra. But universal algebra is central to the idea of computational effect, as it provides a theoretical foundation for the computational operations that give rise to the effect. Recognition of that fact has led to rened prominence of the notion of Lawvere theory.  study the history of the development, in particular asking why Lawvere theories re eclipsed by monads, and how the rened interest in them in the setting of computational effects might develop."}]