@deprecated Infracone と呼んだ方がいいと思う。 Source Functor: について、 -morphismの族: を source from という。 Coneからnaturality要件を除いたもの。 特に、 coneはsource。 がdiscreteのとき、sourceはcone。 のとき、objectと本質的に等しい。 …
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。