epsilon

落書き

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

weighted limit 10

http://www.math.jhu.edu/~eriehl/weighted.pdf C, DをV-categoryとし、G, HをV-functor C \to Dとする。これに対しHom(G,H) \in V_0を前に定義したように、次のequalizerとして定義する。 \prod_{c \in C} D(Gc, Hc) \to \prod_{a,b \in C} V(C(a,b), D(Ga,…