很高興你翻開了這本書！本書是完全用圖片來講述量子理論的故事。在我們開始講述這個故事之前，有必要談一談它是如何產(chǎn)生的。一方面，這是一個非常新的故事，因為它與我們和我們的同事過去10年的研究密切相關。另一方面，有人可能會說，它可以追溯到大約80年前，當時令人稱奇的約翰·馮·諾依曼（John von Neumann）推翻了他自己的量子理論框架，并開始追求更好的理論。人們也可以說，當埃爾溫·薛定諤（Erwin Schr?dinger）通過識別復合系統(tǒng)的結構（特別是其不可分離性），并將其作為量子理論的核心，解決了阿爾伯特·愛因斯坦（Albert Einstein）關于幽靈般的超距作用的擔憂時，人們便開始研究量子理論了。
從一個互補的角度來看，量子理論可以追溯到大約40年前，當時一個名叫羅杰·彭羅斯（Roger Penrose）的本科生注意到，在研究張量微積分時，圖片比符號推理更有優(yōu)勢。
但在80年前，作者都還沒出生，即使到了40年前，從事相關研究的人也寥寥無幾，所以這篇前言將以自我為中心介紹本書的誕生。我們衷心地感謝所有那些對本書而言不可或缺的人（以及某些幾乎成功將它扼殺的人）。
對Bob來說，事情一開始就很糟糕，他在20世紀90年代獲得了博士學位，課題是量子理論的互文隱藏變量表示，這個課題在當時與本書毫不相關。近，這個課題被婉轉(zhuǎn)地重新命名為本體論模型（Harrigan and Spekkens，2010；Pusey et al.，2012）。在經(jīng)歷了一段時間的失業(yè)和成為搖滾明星的失敗嘗試后，Bob在古怪的偶像破壞者Constantin Piron（1976）的附近冒險進入了當時更不相關的課題馮·諾依曼的量子邏輯（Birkhoff and von Neumann，1936）。
正是在那里，范疇論以及關于量子系統(tǒng)組成的基本狀態(tài)的慎重思考進入了公眾視野那些攜手把量子過程（而不是量子態(tài)）帶到前沿的東西……
如果你患有某種范疇論恐懼癥，不要在這里停止閱讀！雖然它影響了本書的很多觀點，但本書絕不是一本關于范疇論的書！
……這些思考將終為量子理論的圖形化方法提供形式和概念上的支撐。量子基礎的范疇化推進初來自David Moore（1995），他是一位非常有天賦的研究人員，在20世紀90年代末，學術生涯被迫終止，在那個時代，以概念為導向的物理學被廣泛禁止。在與Moore和Isar Stubbe的合作中，Bob對量子理論的范疇化重構進行了初步嘗試（Coecke et al.，2001），不幸的是，這些嘗試繼承了傳統(tǒng)量子邏輯的太多缺陷。量子邏輯的主要問題是其隱含的假設，即考慮物理系統(tǒng)總是一些表面上的外部現(xiàn)象世界的一部分，被假定為脫離了周圍環(huán)境，其與環(huán)境的相互作用可以忽略或用一種簡單的方法有效地模擬（Moore, 1999）。然而，與環(huán)境的相互作用恰好是我們應該真正關心的問題！
經(jīng)歷了被大學開除、第二次藝術嘗試失敗后，在即將失業(yè)時，Bob遇到了一個奇跡，兩個與他素不相識的人Prakash Panangaden和Samson Abramsky在牛津計算機實驗室為他安排了一個試用博士后職位，這個實驗室當時被親切地稱為Comlab。盡管對計算機科學一無所知，認為計算機科學家是一群整天盯著屏幕的書呆子，但Bob還是在這個計算機系找到了安身之所。他很快發(fā)現(xiàn)，與量子邏輯學家不同的是，計算機科學家已經(jīng)研究交互系統(tǒng)的結構很長時間了，并且能夠用范疇論的語言優(yōu)雅地描述這樣的系統(tǒng)。事實上，在這個特殊的計算機科學系，甚至在本科階段也講授范疇論。
正是在這里，第二位作者加入進來。在從家鄉(xiāng)俄克拉何馬州塔爾薩（Tulsa, Oklahoma）（見圖0.1）到牛津進行為期兩個月的交流時，Aleks碰巧學習了上述的范疇論本科課程，當時這門課程是由Samson教授的。這門課拓展思維的本質(zhì)（包括一位長相古怪的人給Aleks做的關于長得同樣古怪的幺半范疇圖片的客座演講）讓Aleks對這門課產(chǎn)生了足夠的興趣，并參與其中。在Samson的鼓勵下，他開始參加該組織的量子午餐研討會。研討會的形式是一個大型的酒吧午餐，然后是一個醉醺醺、昏昏欲睡的演講者向同樣醉醺醺、昏昏欲睡的聽眾就范疇量子力學這門新生學科的主題發(fā)表演講，棒極了。

圖0.1　俄克拉何馬州塔爾薩的一些典型景觀
兩個月變成了9年，Comlab變成了計算機科學系，雖然似乎沒有人記得Aleks是什么時候開始在這里開展研究的，但他終完成了碩士、博士及博士后的學習和工作。
在這個獨特的計算機科學環(huán)境中，如果沒有數(shù)學機器和概念思維方面驚人的知識，本書就不會存在。與20世紀90年代禁止物理學中的基礎性和概念性等詞形成鮮明對比的是，在這個新環(huán)境中，基礎性和概念性是（現(xiàn)在仍然是）大優(yōu)點！這導致了一個新的研究團體的誕生，其中計算機科學家、純數(shù)學家、哲學家和研究人員在當前復興的量子基礎領域密切互動。甚至可以說，這種獨特的氛圍促成了整個量子基礎社團的復興，并且在此過程中，一些備受尊敬的實踐者已經(jīng)采用了圖解范式，特別是Chiribella et al.（2010）和Hardy（2013a）。
2003年，Peter Selinger以不同的名字（但有相同的縮寫�。﹦�(chuàng)立了量子物理與邏輯（QPL）系列會議，這是促成本書的關鍵成果發(fā)展的一個特別重要的論壇。事實上，第