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. |
Year | Venue | Keywords |
---|---|---|
2011 | Logical Methods in Computer Science | bicategories,category theory,bicolimits. this paper is an extended version of the calco `09 paper \van kampen colimits as bicolimits in span" 17.,extensive categories,adhesive categories |
DocType | Volume | Citations |
Journal | abs/1101.4 | 0 |
PageRank | References | Authors |
0.34 | 9 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tobias Heindel | 1 | 156 | 12.93 |
Paweł Sobociński | 2 | 609 | 45.57 |