Monad: Natural numbers as Functors
Jump to navigation
Jump to search
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.
References
- ↑ Tubbenhauer, Daniel (Feb 13, 2022). What are…monads?. local page: VisualMath.