メタダイアグラム

マップの変化。マップのマップ。

#型理論 #マップ #ダイアグラム