2009-12-09 Lack, Icons math http://jp.arxiv.org/abs/0711.4657 Identity Component Oplax Natural transformation の頭文字.