epsilon

落書き

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

weighted limit 21

http://www.math.jhu.edu/~eriehl/weighted.pdf Setにおけるpowerとcopowerのadjunctionについて。 添え字集合Jを固定して、Setにおける自己関手D \mapsto D^JとE \mapsto JE=\coprod_J Eを考える。 powerの普遍性はSet(E, D^J) = Set(J, Set(E, D))であり、…