Information and Computation
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Quasitoposes, quasiadhesive categories and artin glueing
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Unfolding grammars in adhesive categories
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Parameters And Parametrization In Specification, Using Distributive Categories
Fundamenta Informaticae
Collagories for Relational Adhesive Rewriting
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Unfolding grammars in adhesive categories
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Hereditary pushouts reconsidered
ICGT'10 Proceedings of the 5th international conference on Graph transformations
A lattice-theoretical perspective on adhesive categories
Journal of Symbolic Computation
Hi-index | 0.00 |
The exactness properties of coproducts in extensive categories and pushouts along monos in adhesive categories have found various applications in theoretical computer science, e.g. in program semantics, data type theory and rewriting. We show that these properties can be understood as a single universal property in the associated bicategory of spans. To this end, we first provide a general notion of Van Kampen cocone that specialises to the above colimits. The main result states that Van Kampen cocones can be characterised as exactly those diagrams in C that induce bicolimit diagrams in the bicategory of spans SpanC, provided that C has pullbacks and enough colimits.