高次骨格はずっと気になっている。高次ラッセル／バーンサイド代数というとカッコイイかも知れない。以下、ある種の同値関係と簡単な推論図に関してメモ。Cを2-圏とする。話を簡単にするために厳密（strict case）とする。Cのホム圏C(A, B)は圏だから、この…

edoc:read_source/{1, 2} -- これは便利だ！ 他にも意外に便利な関数があるかもよ。@headerfile を読む検索パスは、{includes, Path} where Path = [string()] オプションで指定される。includesはEPPの処理のときも共通に使われる。{doc_path, Path} where …