近アーベル圏アーベル圏を弱めたような概念を考えている。semi-additiveとかsemi-Abelianて概念があるにはあるが定義が安定してない。それで近アーベル圏（near-Abelian / nearly Abelian category）とでも呼ぶことにしよう。 双積と零対象がある。（双積は…

境界付きグラフについて、やっぱり書くべきだよな。非常にいい素材だから。 開いた辺を持つ／持たないグラフを考えて、inclusionと閉包を考えると随伴 in境界、out境界、境界全体（in/ouの対）を対応させるとファイブレーション 境界での接合で圏。直和を考…