The University of Southampton
University of Southampton Institutional Repository

Being Van Kampen is a universal property

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
Heindel, Tobias
b9fb4c42-8552-4f9b-933f-ce41dcbee2ac
Pawel, Sobocinski
439334ab-2826-447b-9fe5-3928be3fd4fd
Heindel, Tobias
b9fb4c42-8552-4f9b-933f-ce41dcbee2ac

Pawel, Sobocinski and Heindel, Tobias (2011) Being Van Kampen is a universal property Logical Methods in Computer Science, 7, (1), pp. 1-22.

Record type: Article

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.

Full text not available from this repository.

More information

Published date: 31 March 2011
Organisations: DSSE

Identifiers

Local EPrints ID: 188449
URI: https://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: 11 Nov 2017 08:57

Export record

Contributors

Author: Sobocinski Pawel
Author: Tobias Heindel

University divisions

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

Library staff edit
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×