Let $C$ be an adhesive category. A category is adhesive if it has all pullbacks it has pushouts along monos pushouts along mons are van Kampen squares (A')(B')(C')(D')(A)(B)(C)(D)