V-enriched functorとしての表現可能関手。 まずV-cat Cの対象cについて、cが表現する関手C(c,-):C \to Vとは - 対象の対応はd \mapsto C(c,d) - 射の対応はCの対象d, d'に対してVの射C(c,-)_d,d':C(d,d') \to [C(c,d), C(c,d')]を次のように定める。 Vがclo…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。