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) (doi:10.2168/LMCS-7(1:14)2011). (In Press).
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) |
| Related URLs: | |
| 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 |
| Item ID: | 188449 |
| Date Deposited: | 25 May 2011 10:04 |
| Last Modified: | 02 Jun 2011 10:16 |
| Contributors: | Pawel, Sobocinski (Author) Heindel, Tobias (Author) |
| Date: | 2011 |
| Status: | In Press |
| URI: | http://eprints.soton.ac.uk/id/eprint/188449 |
Actions (login required)
 |
View Item |
