圏論メモ

Information

version	date	memo
0.1	2012/08/12	first

メモ

メタグラフ(metagraph)

• 対象(object)
• 射(arrow)
• 射上の演算(dom, cod)

射fについて、
dom(f)をfのソース
cod(f)をfのターゲット
と言う。