命題 Domainがsmallなfunctor: について、singleton setから へのconeの集合を とすると なる関数族: は、 のlimiting coneになっている: Products 特に、 がdiscreteのときは、coneのnaturalityがtrivialなので となり、確かにproductになっている。 参考文…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。