2011-11-04から1日間の記事一覧
前々回、前回に続いて3度目。そろそろ打ち止め。Cartesian morphism in nLabを参考に。 前回のやり方を基本として、より形を整えると、デカルト射の定義は以下のようになる: p: E → B を関手、f: X → Y を E での射とする。f がデカルト射であるとは、次の圏…
前々回、前回に続いて3度目。そろそろ打ち止め。Cartesian morphism in nLabを参考に。 前回のやり方を基本として、より形を整えると、デカルト射の定義は以下のようになる: p: E → B を関手、f: X → Y を E での射とする。f がデカルト射であるとは、次の圏…