特集
-
巻頭言
-
共通言語としての圏論
-
ホモロジー代数と圏論
-
モノイダル圏としての量子論
-
機械学習と圏論
-
ベイズ確率論とマルコフ圏
-
圏論的論理学とトポス理論
~ 証明の代数学としての数理論理学 ~ -
結び目理論と圏論
-
代数幾何と圏論
~ モチーフ理論 ─ Grothendieckの夢のあとさき ─ ~
連載
-
計算機科学の数学 17
~ ホーア論理(3) ~