Difference between revisions of "Monad: Natural numbers as Functors"
Jump to navigation
Jump to search
m (Benkoo moved page Monad: Natural number as Functors to Monad: Natural numbers as Functors) |
|||
| Line 1: | Line 1: | ||
[[Daniel Tubbenhauer]]'s [[VisualMath]] also has a video on [[Video/What are…monads?|What are…monads?]]<ref>{{:Video/What are…monads?}}</ref>. In the beginningof the video, he stated that [[monad]] is a way of counting. | To model numbers in terms of relations, [[monad]] can be used as a [[bridge]]. That is based on the fact that [[functor]]s can be used to represent both elements in a set and the relations of the elements in the set. In other words, the notion of [[representable]] is inalienable from the notion of [[functor]], which carries the name of this information compression. [[Daniel Tubbenhauer]]'s [[VisualMath]] also has a video on [[Video/What are…monads?|What are…monads?]]<ref>{{:Video/What are…monads?}}</ref>. In the beginningof the video, he stated that [[monad]] is a way of counting. | ||
{{#ev:youtube | {{#ev:youtube | ||
|ysOmNBx5BZw|||||start=1 | |ysOmNBx5BZw|||||start=1 | ||
Revision as of 11:34, 22 March 2022
To model numbers in terms of relations, monad can be used as a bridge. That is based on the fact that functors can be used to represent both elements in a set and the relations of the elements in the set. In other words, the notion of representable is inalienable from the notion of functor, which carries the name of this information compression. Daniel Tubbenhauer's VisualMath also has a video on What are…monads?[1]. In the beginningof the video, he stated that monad is a way of counting. {{#ev:youtube |ysOmNBx5BZw|||||start=1 }}
References
- ↑ Tubbenhauer, Daniel (Feb 13, 2022). What are…monads?. local page: VisualMath.