Difference between revisions of "Monad"
Line 1: | Line 1: | ||
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]]. | Monad is a way to preserve [[symmetries]] in the space of functions while allowing for maximal [[compositionality]]. It is also Leibniz's way<ref>[[Monadology]]</ref><ref>{{:Video/Leibniz's Monads Explained}}</ref> 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 16:29, 20 February 2022
Monad is a way to preserve symmetries in the space of functions while allowing for maximal compositionality. It is also Leibniz's way[1][2] 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[3]. 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
- Monad is the way to build complexity from simplicity
- Monad is ruled by one customizable rule that rules them all
- 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
- ↑ Monadology
- ↑ Leevark, ed. (May 1, 2020). Leibniz's Monads Explained. local page: Leevark.
- ↑ Beckman, Brian (Nov 21, 2012). Brian Beckman: Don't fear the Monad. local page: jasonofthel33t.
Related Pages
- A Global Network of Personal Knowledge Container
- Abstract Interpretation
- Abstract Specification of PKC
- Abstract nonsense
- Accountability
- Adjoint Functors
- Adjunctions
- Age Appropriate Design Code
- Anti-joke
- Anti-math
- Anti-operator
- Applied Category Theory
- Approximate truth
- Associative array
- Book/Axiomatic design
- Book/Axiomatic design and fabrication of composite structures
- Book/CATEGORIES TYPES AND STRUCTURES
- Book/Categories for the Working Mathematician
- Book/Category Theory for Programmers
- Book/Category Theory for the Sciences
- Book/Complexity-theory and applications
- Book/Conceptual Mathematics
- Book/Conceptual Mathematics/OnSymmetries
- Book/From Frege to Gödel
- Book/New Structures for Physics
- Book/Picturing Quantum Processes
- Book/Probably Approximately Correct
- Book/Seven Sketches in Compositionality
- Book/Speakable and Unspeakable in Quantum Mechanics
- Book/What is Applied Category Theory
- Boundary Conditions
- Categorical quantum mechanics
- Category Theory
- Category Theory by John Peloquin
- Category Theory for Programmers
- Category of Systems
- Causal cone
- Cause
- Colimit
- Comedy
- Commutative Diagram
- Commutative Diagram and Commutator
- Compatibility
- Composability
- Composition
- Containerization Logic Model
- ... further results