忘却関手
群の圏を集合の圏の部分圏に写す関手のこと.
群の演算構造を取り除いくので忘却関手と呼ばれる.
Mathematics is the language with which God has written the universe.