Difference between revisions of "Monoid"

From PKC
Jump to navigation Jump to search
Line 1: Line 1:
[[wikipedia:Monoid|Monoid]] ([[wikipedia:zh:幺半群|幺半群]]), according to Wikipedia, it is a [[monoid]] is a set equipped with an associative binary operation and an identity element. It is a foundational algebraic structure that can be applied to many fields.
[[wikipedia:Monoid|Monoid]] ([[wikipedia:zh:幺半群|幺半群]]), according to Wikipedia, it is a set equipped with an associative binary operation and an identity element. It is a foundational algebraic structure that can be applied to many fields.


For instance, in a Turing Machine, all operations can be thought of as some sequences of stack operations<ref>{{:Paper/mov is Turing-complete}}</ref>. This idea has been extended to Bayesian inferencing<ref>{{:Thesis/Causal Theories: A Categorical Perspective on Bayesian Networks}}</ref>,  
For instance, in a Turing Machine, all operations can be thought of as some sequences of stack operations<ref>{{:Paper/mov is Turing-complete}}</ref>. This idea has been extended to Bayesian inferencing<ref>{{:Thesis/Causal Theories: A Categorical Perspective on Bayesian Networks}}</ref>,  

Revision as of 12:22, 5 July 2023

Monoid (幺半群), according to Wikipedia, it is a set equipped with an associative binary operation and an identity element. It is a foundational algebraic structure that can be applied to many fields.

For instance, in a Turing Machine, all operations can be thought of as some sequences of stack operations[1]. This idea has been extended to Bayesian inferencing[2],



References

  1. Dolan, Stephen (July 19, 2013). "mov is Turing-complete" (PDF). local page: Computer Laboratory, University of Cambridge. 
  2. Fong, Brendan (2013). Causal Theories: A Categorical Perspective on Bayesian Networks (Master). local page: University of Oxford. Retrieved Jan 26, 2013. 

Related Pages