2015-03-20 Self-enriched monoidal product 圏論 定義 命題 Enriched (と呼べるかな)(Tensor の略だと思うが名称不明・・・) Ten Symmetric closed monoidal category において、-functor: を次のように定義できる: 命題.1 命題.2 参考文献 Basic Concepts of Enriched Category Theory