1樓：水山清風
香火、聖火與傳承 - 水山清風的文章 - 知乎 https://zhuanlan /p/78622432
曾經寫過一篇文章，說過人的思維中必然存在 Monad，不然聖火和文明這些現象無法解釋
2樓：Patpat
直白的, 首先假設qq存在, qq是程式設計出來的, 再假設程式設計出來的東西都算在現實世界存在, 然後Monad也能程式設計出來, 接著Monad存在
3樓：Cosmia Fu
有，也沒有
幾乎所有（我懷疑是所有，但或許有反例）的數學概念在現實世界都是不存在的，比如說1，2這兩個數字，你可以說現實世界中有乙個蘋果，兩個蘋果，乙個榴蓮，但你不能說現實中存在純粹的「1」和「2」，但他們確實描述了現實世界的某種性質，你要是從這個意義上來說也存在。
如果你把描述現實的數學概念算作現實中存在的話，那顯然 Monad 是現實中存在的，Monad 的定義非常明確，就是 這樣的乙個三元組，至於具體數學上的例子，我就懶得寫了，nLab和 Wikipedia 上都有一堆
4樓：kuskus
我不太懂「現實世界」是什麼意思，但是我覺得你想問的類似於 distribution monad； 對於 Set X， D X 是所有 X 上的可能分布組成的 Set
類似的，我們可以搞乙個按揭 Monad P，其中 P X 代表了所有關於 X 的 ppt和公關稿。
另外運籌論中我不確定有沒有直接構建 monad，但是我印象中有 monoidal monad 的一些性質在運籌論中有用
5樓：dreday
我覺得可以試著從functor入手。比如我們有一籃子蘋果可以吃（吃將蘋果變成了蘋果核）。沒有functor的時候我們只能乙個乙個吃蘋果。
但是lift一下吃可以一下子吃掉所有蘋果。所以，吃掉所有蘋果這個東西存在嗎？如果這個東西存在那麼functor存在。
首先什麼是吃掉？吃掉乙個蘋果分好幾口，每口需要手部動作與嘴的動作結合。所以其實吃掉蘋果已經是個抽象的過程，它無視中間的動作，只有輸入與輸出。
如果吃掉存在的話，我覺得吃掉一籃子蘋果也是存在的。只是它更加概括。那麼functor存在。
而monad也存在。比如乙個蘋果可以換一欄橘子。那麼monad在這邊的體現就是我把蘋果都換成橘子然後把橘子的籃子都扔了放到外面這個籃子。
以上建立在吃掉這個抽象過程是存在的假設前提之上。
按一般的意思來講吃掉這個行為是存在的，所以我覺得monad存在。
6樓：Narc
現實世界中有沒有 monad，這是個哲學問題而非數學問題。monad 是乙個高度抽象化的概念，而構成我們世界的都是實實在在的物質，你沒有辦法在現實世界中找到乙個東西然後說它就是 monad。然而它和現實世界中的物質一樣，有實實在在的性質可以研究，所以也有人認為現實世界不僅由物質構成，也由這些抽象概念構成。
現實題材的書是不是在網文世界裡就沒有市場？新人寫手是應該堅持夢想還是迎合市場？
倒騎驢的纏頭仙 你靠這個活嗎？你是自娛自樂還是服務讀者還是有藝術追求？你是覺得跟隨市場沒格調還是真的不擅長現在流行的題材？以上三個問題你先自己弄清楚。 小卿 有啊！起點月票榜排名前十的柳暗花又明 我真沒想重生啊 都市重生現實題材，唯一的金手指就是重生先知先覺，粉絲271萬！都市爽文，你可以參考一下，...
在現實世界裡去世人在其他平行世界裡會不會還活著？
渣女無痕 經常在某一環境某一時刻感覺這件事情是發生過的，所以人生也許是宇宙中的無限次迴圈往復。死後你的人生又會從某乙個平行空間的節點開始，修復和完善你不完美的人生，最終把你的人生變為沒有遺憾的人生，然後你達到了生命的另乙個層次，脫胎換骨，進入另乙個高階的空間 鴨講者 會不會跟你有關係嗎？玩遊戲，存檔...
現實世界裡那個人有資格做執劍人？
黑暗森林威懾是懸在兩個世界頭上的達摩克利斯之劍，羅輯就是懸劍的髮絲，他被稱為執劍人。先講下成功的一位執劍人，羅輯。衝著能逼著羅輯去拯救人類並約束羅輯幾十年不失控，人類真該給薩伊和莊顏修個像。執劍人確實不是人幹的事。新人類有一件事感覺的沒錯，執劍人是非常痛苦和危險的怪物。威懾平衡體系決定了高威懾度的執...