穴あきストリング図 ケリー／マックレーン・グラフ 多様体 ボックス＝サークル バー＝ストリング 境界 ポート＝ピン 符号、符号付き色 境界条件 ワイヤー リンク 複体構造のセル ワイヤリング リンキング 球体と同相の多様体（ボール、ブロブ）の境界（球、…

Title: Shapely monads and analytic functors Authors: Richard Garner, Tom Hirschowitz Submitted: 18 Dec 2015 (v1), 10 Oct 2017 (v3) Pages: 52p URL : https://arxiv.org/abs/1512.05980 多項式の一般化。多圏と類似物がまとめてあるのがいい。多射に…