"Quantum Logic in Dagger Kernel Categories" (Chris Heunen, Bart Jacobs)の内容の紹介、論文はこちらから入手可能。 Dagger category *1を、Dの任意のmap f についてkernel（についてmonoidになる）を付け加えたdagger kernel categoryを考えると、この上…

曇りがちの日、研究集会に出る。行きの車内は書類作りで時間をつぶし、10分前に数解研のビルに着くが、会場が分からず、事務の人に泣きついているところへJacobs氏がH君と登場、彼らについて会場へ。11時に講演開始。 画像はご存じ、折田先生。 午後は別場所…