ちょっとずつ追加・修正の予定。概念の解説はここではしない。描画法のみ列挙する。 基本 関手の関手性 自然変換の自然性 自然変換の横結合 圏の2-圏の構造（絵だけ） 一時的に追加：錐 基本 上下左右が入り乱れること： 双対や随伴に強くなるためのトレーニ…

ちょっとずつ追加・修正の予定。概念の解説はここではしない。用語と記法のみ列挙する。 記述のための構文 宇宙と圏 k-射 n-圏とk-射 n-圏の圏 圏の弱さ ホムシング 所属関係 割り当て〈コンストラクタ | オペレータ | コンビネータ〉 記述のための構文 説明…