2019-02-01から1日間の記事一覧
圏係数の行列計算の話題は何度かしてるが、乗法的ドクトリンを係数域にとる形にしてみる。ドクトリンは「圏の圏」の意味で使う。ドクトリンのメンバーである圏はすべて余完備であるとする。つまり、小さい圏からの関手は余極限を持つ。これはメンバーに関す…
圏係数の行列計算の話題は何度かしてるが、乗法的ドクトリンを係数域にとる形にしてみる。ドクトリンは「圏の圏」の意味で使う。ドクトリンのメンバーである圏はすべて余完備であるとする。つまり、小さい圏からの関手は余極限を持つ。これはメンバーに関す…