遺忘函子(forgetful functor)亦稱忘卻函子或基礎函子一類重要的函子.在拓撲空間範疇的研究中有時只需考慮其中的集合性質,即,將其每個對象看做一個集合(基礎集),連續映射看做一個集映射.這就給出拓撲空間範疇到集合範疇的一個函子,稱為遺忘函子一般地,對一個具體範疇省(其對象都是集合)也可同樣處理,即遺忘掉子的其他結構只考慮集合性質,這樣也得到留到集合範疇的遺忘函子.例如環範疇中的每一對象(環)只看做一個集合,環同態只看做集映射,即遺忘掉環結構,則得環範疇到集合範疇的遺忘函子.
遺忘函子(forgetful functor)亦稱忘卻函子或基礎函子一類重要的函子.在拓撲空間範疇的研究中有時只需考慮其中的集合性質,即,將其每個對象看做一個集合(基礎集),...
在範疇論中,函子(functor)是範疇間的一類映射,通俗地說,是範疇間的同態。...... 把群對應到去掉乘法運算後的集合,把群同態對應為映射就是一個遺忘函子。對角函...
是指派每個拓撲空間到它的底層集合的函子(所謂的遺忘函子),並且 是把密著拓撲放置到給定集合上的函子,則 右伴隨於 。(把離散拓撲放置到給定集合上的函子 左伴...
如果 : Top → Set 是指派每個拓撲空間到它的底層集合的函子(所謂的遺忘函子),並且 : Set → Top 是把密著拓撲放置到給定集合上的函子,則 右伴隨於 。(...
以函子性定義:點函子 透過遺忘函子 分解。換言之:對於任意的S-概形T, 構成一個群;而且對任意S-態射 ,誘導映射 都是群同態。代數群:設k為域, 上的連通...