2個の関手
のように線
のように捉えることができます。逆に,関手
のように捉えたい場合もあります。このように捉えたとき,図式では線
#1:
圏の定義と具体例
#2:
関手と自然変換
#3:
垂直合成と水平合成
#4:
モノイダル圏
#5:
モナドとは自己関手の圏におけるモノイド対象のこと
#6:
モナドの例
#7:
随伴
#8: 関手を表す線の順序の交換(この記事)
#9:
普遍射と随伴・極限・カン拡張
#10:
ホム関手のストリング図(前編)
#11:
ホム関手のストリング図(後編)
#12:
米田の補題
番外編1:
視覚的に理解するクライスリトリプルとモナドの同値性
番外編2:
線形代数の圏論的な性質(?)を圏論なしで説明する
準備として,いくつかの関手を導入します。
まず,任意の関手
この関手は各
直観的には,関手
また,関手
直観的には,自然変換
関手
この関手は各
関手
関手
関手
関手を前または後ろから施す関手を用いて,線の順序を入れ替えたかのような図式を描くことができます。具体的には,まず関手
恒等自然変換
この左辺と右辺は中央の式と同じであり,単に表記を変えただけです。
自然変換の入れ替えも同様に行えます。自然変換
念のため数式で表しておくと,
です。
圏論では,(極限に関連する概念として)錐というものがよく現れます。錐について述べるための準備として,任意の圏
関手
が成り立ちます。ただし,この図式のように関手
錐
この左辺の関手
ここでは詳細は述べませんが,ある種の関手は「極限を保存する」,または「カン拡張を保存する」という性質をもっています。これらの関手は,図式において極限を表す線,またはカン拡張を表す線と順序を入れ替えられると捉えると直観的にわかりやすい場合がしばしばあります。