## Colimits as Bicolimits in Span

- T. Heindel, P. Sobociński. Van Kampen
- Algebra and Coalgebra in Computer Science,
- 2009

We define collagories essentially as “distributive allegories without zero morphisms”, and show that they are sufficient for accommodating the relation-algebraic approach to graph transformation. Collagories closely correspond to the adhesive categories important for the categorical DPO approach to graph transformation. but thanks to their relation… (More)

Sorry, we couldn't extract any figures or tables for this paper.