2024-10-27 反対圏の記法 本編ネタ 関連する過去記事。 層化ストリング図 // 裏返し反変関手 rev記法 反対圏/反変関手と、2-圏のストリング図 プラスマイナス記法 反対圏と反変関手はややこしい op(...) 記法、上矢印記法はオーバーライン記法に置き換える。 状態遷移系としての前層・余前層・プロ関手 オーバーライン記法