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), pp. 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
Digital Object Identifier (DOI): doi:10.2168/LMCS-7(1:14)2011
Subjects:
ePrint ID: 188449
Date :
Date Event
31 March 2011Published
Date Deposited: 25 May 2011 10:04
Last Modified: 18 Apr 2017 02:05
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/188449

Actions (login required)

View Item View Item