2015-04-24 Enriched functor category 圏論 定義 Enriched Enriched functor category symmetric closed monoidal category: -category: において、ending -wedge の族: *1 が存在するとき、-category of -functors: を次のように定義できる: 次の命題により、これは確かに -category となる。 命題 上記の end bijection は functorial: 証明 Ending -wedge の mono 性による。 系 特に、 とすると 参考文献 Basic Concepts of Enriched Category Theory *1:self-unriched な形で描いている