位相線型空間の圏
御多分に漏れず、位相線型空間の圏 TVect は具体圏(英語版) である。それはつまり、対象は集合に追加の構造(いまの場合、線型構造と位相)を入れたものであり、射はそれら構造を保つ写像であるということを意味する。すると明らかに、TVect から位相空間の圏 Top, 線型空間の圏 Vect, 集合の圏 Set のそれぞれへの忘却函手(英語版)があることがわかる。