End 特に、 のとき、 preserves ends より記号に矛盾は無い。 Coend 命題: (Co)ends via weighted (co)limits existence-compatible 証明 命題: (Co)powers preserve (co)ends ただし、preservation of ends は (Co)ends via weighted (co)limits を通して P…

Constant enriched functor Unit category からの constant functor を と定義できる。 命題 Unlambda は iso。 証明 Power 上記の命題により、constant -functor の weighted limit と existence-compatible: 特に のとき、flip iso により記号に矛盾はない…

記法 任意のuniversal morphism: について、 とのmediator を、 のような感じで、 と書くことにする。 Power functor その1 Power projectionの族: が存在するならば、これをnaturalにするただ一つのcontravariant functor: を作ることが出来る。 Power func…