忘却関手

群の圏を集合の圏の部分圏に写す関手のこと.

群の演算構造を取り除いくので忘却関手と呼ばれる.

Vita brevis, ars longa. Omnia vincit Amor.





















フッ素 自由関手 自由対象 関数の台 $\omega$ 有向完備順序 コンパクト性と完備性