たくさんの猫と豊かな世界

随伴図鑑

随伴をまとめてあります。


随伴

自由関手と忘却関手

自由関手と忘却関手

自由関手と忘却関手

自由関手と忘却関手

自由関手と忘却関手

自由関手と忘却関手

自由関手と忘却関手

自由関手と忘却関手

外積代数をとる関手と次数1の空間をとる関手

次数1に埋め込む関手と次数1の空間をとる関手

自由関手と各次数の直和をとる関手

アーベル化関手と忘却関手

モノイド環をとる関手と単元群をとる関手

群環をとる関手と単元群をとる関手

商体をとる関手と忘却関手

多項式環をとる関手と忘却関手

Hensel化関手と忘却関手

層化関手と忘却関手

局所化関手と包含関手

忘却関手と可逆元に制限する関手

テンソル関手と忘却関手

忘却関手とHom関手

離散位相空間をとる関手と台集合をとる関手

台集合をとる関手と密着位相空間をとる関手

離散微分空間をとる関手と台集合をとる関手

台集合をとる関手と密着微分空間をとる関手

Stone-Cechコンパクト化関手と忘却関手

Hausdorff化関手と忘却関手

開集合系をとる関手とcpフィルターをとる関手

幾何学的実現関手とsingular functor

fundamental category functorとnerve functor


双対随伴

upper set全体をとる関手と冪集合関手


自己随伴

直積関手とHom関手

テンソル関手とHom関手

懸垂関手とループ空間をとる関手


自己双対随伴

Hom関手とHom関手

Hom関手とHom関手

Hom関手とHom関手


随伴関手をもつ必要十分条件

Notes on Stratified Simplicial Sets

圏同値

Dold-Kan対応


Galois接続

包含写像と開核作用子

閉包作用子と包含写像

天井関数と包含写像

包含写像と床関数


ホームに戻る