2006-10-24から1日間の記事一覧

圏論への誘い(その 8)

ファイバー積と双対ファイバー積 対象 と、射 に対し、 のファイバー積(fiber product)とは、 で、以下の性質を満たすもののことを言います。 で を満たすものが存在するならば、 で を満たすものが一意に存在する このとき、上図の正方形の図式を引き戻し(p…