Being Van Kampen is a universal property
Being Van Kampen is a universal property
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.
1-22
Pawel, Sobocinski
439334ab-2826-447b-9fe5-3928be3fd4fd
Tobias, Heindel
fda2188c-0a9e-4dbd-ab71-16fccf4fbbb4
31 March 2011
Pawel, Sobocinski
439334ab-2826-447b-9fe5-3928be3fd4fd
Tobias, Heindel
fda2188c-0a9e-4dbd-ab71-16fccf4fbbb4
Pawel, Sobocinski and Tobias, Heindel
(2011)
Being Van Kampen is a universal property.
Logical Methods in Computer Science, 7 (1), .
(doi:10.2168/LMCS-7(1:14)2011).
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.
This record has no associated files available for download.
More information
Published date: 31 March 2011
Organisations:
DSSE
Identifiers
Local EPrints ID: 188449
URI: http://eprints.soton.ac.uk/id/eprint/188449
PURE UUID: 7a225c5a-d648-460b-bc6f-b63b383c6bb4
Catalogue record
Date deposited: 25 May 2011 10:04
Last modified: 14 Mar 2024 03:31
Export record
Altmetrics
Contributors
Author:
Sobocinski Pawel
Author:
Heindel Tobias
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics