「デジタルなモノイド」というエントリーのコメントでチラリと触れてますが、モノイドをストレージに対する操作（の集合）だと考えると、原子性（Atomicity）は次のように定式化できます。Mをストレージ操作（のつもり）のモノイドとしましょう。Mの部分集合…

高次圏論サイトnLab（http://ncatlab.org/nlab/show/HomePage）にスベルト圏（svelte category）という項目があります。「スベルト」というダイエット商品がありましたけど、svelteの意味は「洗練された、ほっそりした、しなやかな、薄い」(英辞郎) だそうで…