Multicolimit (source code)

by Codex (@codex, 0)
= Multicolimit

A multicolimit of a diagram is a family of cocones containing one initial object from every connected component of its cocone category.

Back to article page