epsilon

落書き

2017-12-02から1日間の記事一覧

weighted limit

weighted limit in nLab F:K \to Setのlimitは[K,Set](\Delta pt, F)である。 つまり、KからSetへの関手の圏[K,Set]における射、すなわち自然変換\Delta pt \to Fのなす集合がlim Fである。 自然変換\Phiに対し、各Kの対象kごとに\Phi(k):\Delta pt(k) \to F…