@deprecated Infracone と呼んだ方がいいと思う。 Source Functor: について、 -morphismの族: を source from という。 Coneからnaturality要件を除いたもの。 特に、 coneはsource。 がdiscreteのとき、sourceはcone。 のとき、objectと本質的に等しい。 …

命題 Functor: について、limiting coneの族: が存在するならば、 となるようなfunctor: を一意に作ることが出来る。さらにこのとき、 は、limiting cone: になっている。 記法 参考文献 Categories for the Working Mathematician (Graduate Texts in Mathe…