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).

Download

Full text not available from this repository.

Description/Abstract

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
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
Date Deposited: 25 May 2011 10:04
Last Modified: 27 Mar 2014 19:42
URI: http://eprints.soton.ac.uk/id/eprint/188449

Actions (login required)

View Item View Item