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

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