PS

2015-03-11から1日間の記事一覧

Self-enriched category

(と呼んでいいのかな) Closed monoidal category - PS の続き・・・ Self-enriched category Closed monoidal category*1: について -enriched category: *2 を次のようにして定義できる。 次の functoriality により、これは確かに -category になる。 Functor…