Sobocinski, Pawel and Heindel, Tobias - Being Van Kampen is a universal property

lmcs:701 - Logical Methods in Computer Science, April 1, 2011, Volume 7, Issue 1
Being Van Kampen is a universal property

Authors: Sobocinski, Pawel and Heindel, Tobias

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.


Source : oai:arXiv.org:1101.4594
DOI : 10.2168/LMCS-7(1:14)2011
Volume: Volume 7, Issue 1
Published on: April 1, 2011
Submitted on: October 19, 2010
Keywords: Mathematics - Category Theory,Computer Science - Programming Languages,cs.PL


Share

Consultation statistics

This page has been seen 75 times.
This article's PDF has been downloaded 74 times.