圏 の対象は ，射は で生成され，関係式は とする．

写像．逆写像・１対１対応．合成・結合則・恒等写像・恒等写像との合成．単射・全射・全単射．アフィン座標平面・アフィン座標変換・アフィン変換．

条件つき確率．独立性．Bayes の定理．

高次偏導関数．

http://jp.arxiv.org/abs/1205.0533