モノイド閉圏

ウィキペディア

モノイド閉圏

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/08/10 02:09 UTC 版)

数学の特に圏論におけるモノイド閉圏（モノイドへいけん、英: closed monoidal category; 閉モノイド圏）とは、モノイド積（テンソル積）およびその右随伴として定まる「冪」（通常の冪対象とは異なる）を対象として持つ圏である。言い換えれば、冪対象の類似物を持ったモノイド圏である。モノイド積が通常の積であるときは（「冪」が本物の冪対象となり、）デカルト閉圏と呼ばれる。