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

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

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

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

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

圏 C の対象を a とする。a の T-上方の対象からなる圏（the category of objects T-over a；(T↓a) ）とは、a をコドメインとする射 g : T e → a とそのドメインの元となる対象 e との組 を対象、ドメインの元となる対象間の射 k : e → e' で g = g'・T k を満たすものを射 k : → とする圏である。