Autor:	Sobocinski, Pawel, Heindel, Tobias
Rok vydání:	2011
Předmět:	Mathematics - Category Theory Computer Science - Programming Languages cs.PL
Zdroj:	Logical Methods in Computer Science, Volume 7, Issue 1 (April 1, 2011) lmcs:701
Druh dokumentu:	Working Paper
DOI:	10.2168/LMCS-7(1:14)2011
Popis:	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. Comment: 22 pages
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1101.4594 Zobrazit plný text záznamu View this record from Arxiv