Being Van Kampen is a universal property

Pawel, Sobocinski and Heindel, Tobias (2011) Being Van Kampen is a universal property. Logical Methods in Computer Science, 7, (1), 1-22. (doi:10.2168/LMCS-7(1:14)2011).


Full text not available from this repository.


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.

Item Type: Article
Digital Object Identifier (DOI): doi:10.2168/LMCS-7(1:14)2011
ISSNs: 1860-5974 (print)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions : University Structure - Pre August 2011 > School of Electronics and Computer Science > Dependable Systems and Software Engineering Research Group
ePrint ID: 188449
Accepted Date and Publication Date:
31 March 2011Published
Date Deposited: 25 May 2011 10:04
Last Modified: 31 Mar 2016 13:39

Actions (login required)

View Item View Item