２． 随伴 ストリング・ダイアグラムでの表現にも慣れてきたので、いきなりジャンプして、圏論の真髄ともいえる随伴について考えることにしよう。 ２．１ 随伴の定義 ウィキペディアでは、随伴を次のように定義している(但しここでは記号は変えてある)。圏\(…