Difference between revisions of "Monad"

From PKC
Jump to navigation Jump to search
Line 1: Line 1:
Monad is a way to preserve [[symmetries]] in the space of functions while allowing for maximal [[compositionality]].  
Monad is a way to preserve [[symmetries]] in the space of functions while allowing for maximal [[compositionality]]. It is also Leibniz's way to stating the notion of [[Digital Twin]] and [[Metaverse]].
=[[Don't fear the Monad]]=
=[[Don't fear the Monad]]=
Brian Beckman had an hour-long video that explains Monad in a rather detailed and insightful tutorial<ref>{{:Video/Don't fear the Monad}}</ref>. Therefore, a special page was dedicated to annotate the tutorial with segmented video clips. Just click on this link:[[Don't fear the Monad]], to get access to the annotation. The following is the shortened version of the page:
Brian Beckman had an hour-long video that explains Monad in a rather detailed and insightful tutorial<ref>{{:Video/Don't fear the Monad}}</ref>. Therefore, a special page was dedicated to annotate the tutorial with segmented video clips. Just click on this link:[[Don't fear the Monad]], to get access to the annotation. The following is the shortened version of the page:

Revision as of 02:56, 5 January 2022

Monad is a way to preserve symmetries in the space of functions while allowing for maximal compositionality. It is also Leibniz's way to stating the notion of Digital Twin and Metaverse.

Don't fear the Monad

Brian Beckman had an hour-long video that explains Monad in a rather detailed and insightful tutorial[1]. Therefore, a special page was dedicated to annotate the tutorial with segmented video clips. Just click on this link:Don't fear the Monad, to get access to the annotation. The following is the shortened version of the page:

Synopsis of Beckman's Tutorial on Monad

  1. Monad is the way to build complexity from simplicity
  2. Monad is ruled by one customizable rule that rules them all
  3. Monad is hard to learn because of a broken symmetry

The idea of Monad can be traced back to the mathematical structure: Monoid, which is just an algebra with one element only. This mathematical structure provides a basis to reduce complexity. As Beckman says: 

Monoid helps to guarantee you to build a software with one and only one type ...(start at 1126)

|ZhuHCtR3xq8|||| |start=1126&end=1230}}



References

  1. ↑ Beckman, Brian (Nov 21, 2012). Brian Beckman: Don't fear the Monad. local page: jasonofthel33t. 

Related Pages

A
B
B cont.
B cont.
C

單子

Retrieved from "https://pkc.pub/index.php?title=Monad&oldid=20376"