http://www.usergioarboleda.edu.co/matematicas/memorias/memorias13/Cohomolog%C3%ADa%20de%20Khovanov.pdf のcoドメインはコロンビアでした。公用語はスペイン語。

アブラムスキーが取り上げているのだから、テンパリー／リーブ圏が計算や証明と関係するのは確かなのだろう。が、僕が興味(?)を持っていたところで、ほんとに役立つかはすごく疑問。なんかもう、これは単なるオモチャ（面白いだけの遊び道具）じゃなかろうか…

集合と直和のモノイド圏で、コピーを重ねる（フォールド）写像 A+A→A は、このモノイド圏内のモノイドになっている。