DOTNとは、Diagrammatic-Order Text Notation のアクロニムで、モノイド圏や2-圏の射を表現するための表記法です。DOTNをブログで最初に紹介したのは2006年です。 図式順テキスト記法（DOTN）（別なページへのリンク） 2013年にリバイスして、DOTN二号〈Vers…