関手の下方の対象からなる圏

ウィキペディア小見出し辞書

関手の下方の対象からなる圏

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/06/29 15:38 UTC 版)

「コンマ圏」の記事における「関手の下方の対象からなる圏」の解説

圏 C の対象を b とする。b の S-下方の対象からなる圏（the category of objects S-under b；(b↓S) ）とは、b をドメインとする射 f : b → S d とそのコドメインの元となる対象 d との組 を対象、コドメインの元となる対象間の射 h : d → d' で f' = S h・f を満たすものを射 h : → とする圏である。