Being Van Kampen is a universal property

Tobias Heindel, Pawel Sobocinski

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

Colimits that satisfy the Van Kampen condition have interesting exactness properties. We show that the elementary presentation of the Van Kampen condition is actually a characterisation of a universal property in the associated bicategory of spans. The main theorem states that Van Kampen cocones are precisely those diagrams in a category that induce bicolimit diagrams in its associated bicategory of spans, provided that the category has pullbacks and enough colimits.
Original languageEnglish
Pages (from-to)1-22
Number of pages22
JournalLogical Methods in Computer Science
Issue number1
Publication statusPublished - 31 Mar 2011


Dive into the research topics of 'Being Van Kampen is a universal property'. Together they form a unique fingerprint.

Cite this