圏論メモ

Information

version date memo
0.1 2012/08/12 first

メモ

メタグラフ(metagraph)
  • 対象(object)
  • 射(arrow)
  • 射上の演算(dom, cod)

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

広告を非表示にする