内部hom函手
internal hom functor
概要
モノイダル閉圏
では、
内部hom函手
と呼ばれる
双函手
が定義できる
左内部hom函手の構成
reference.icon
モノイド圏、豊饒圏、閉圏と内部ホム - 檜山正幸のキマイラ飼育記 (はてなBlog)