ニョロニョロ対応

テンソル計算	ラムダ計算	米田の補題	モナド
ベクトル空間	型	対象関手*1	関手
線形写像	型判断	自然変換（射も）	自然変換
双対ベクトル空間	-	共変ホム関手	随伴パートナー
スカラー空間	ユニット型	単位集合関手*2	恒等関手
テンソル積	デカルト積	横結合	横結合
双対ペア	-	対象と共変ホム関手	随伴ペア
coevベクトル	偏タプリング*3	idホム要素	随伴の単位
evコベクトル	ev	-（代替手段が必要）	随伴の余単位
テンソル指数	指数	ホムセット	モナドの台
行列ベクトル	ラムダ項	ホム要素	モナド要素*4
正方行列モノイド	-	エンドモノイド	モナド
ラムダ抽象	ラムダ抽象	メイト対応	メイト対応

1. 対象関手とは、圏の対象を自明圏☆からの関手とみなしたもの。射は自然変換とみなす。
2. 単位集合関手とは、単位集合{*}∈|Set|を、☆→Set という関手とみなしたもの。
3. 偏タプリングとは、{b|→ λa.(a, b)} : B⇒[A→A×B]、圏内では B→(A×B)^A。
4. モナド要素とは、Mがモナドの台関手として、I⇒M という自然変換。