例
U：Top → Set を>>278で定義した忘却関手とする。
U は小さい極限を持ち上げる(>>318)。

証明
>>315と>>319より明らかである。