命題 Category: へのsmall diagram: について、 をそれぞれproductとする。ここで、 なる へのmediator のequalizer を採れば、 はlimiting coneになる。 証明 がそれぞれmono-sourceであることに注意する。 参考文献 The Existence Theorem for Limits « Th…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。