関手の絵算

• Title: Frobenius Morphisms of Bicategories
• Authors: John Bourke and Micah Blake McCurdy
• URL: http://web.science.mq.edu.au/~mmccurdy/glob.pdf

これはいい解説なのだけど、記号法が独特

• 0-セル 英字小文字 a, b, c、エリア
• 1-セル ギリシャ文字小文字 α β γ、ワイヤー
• 恒等1-セル 点線 エリアと区別しない
• 2-セル ギリシャ文字小文字 φなど、ボックス
• 1-セルの方向が左から右、上下方向はモノイド積
• 関手リージョン 色付きの領域
• 圏 A, B, C など
• 関手 f:A→B