2016-07-21から1日間の記事一覧
圏論の定義メモ Def.圏(category) 圏 は次のデータからなります; 対象(objects) , , ... 射(arrows) , , ... ドメイン(domain), コドメイン(codomain) 任意の射 に対し, 対象 , が定まる. この時 と表す. (ただし 、) 合成(composite) 任意の射 、に対し…
圏論の定義メモ Def.圏(category) 圏 は次のデータからなります; 対象(objects) , , ... 射(arrows) , , ... ドメイン(domain), コドメイン(codomain) 任意の射 に対し, 対象 , が定まる. この時 と表す. (ただし 、) 合成(composite) 任意の射 、に対し…