命題 Functor: について、disjoint union: 上のbinary relation: を含む最小のequivalence relation を使って、 *1 とすると、 は、colimiting coconeになる。 参考文献 limits and colimits by example in nLab Equivalence class - PS Limits in sets - PS…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。