Pushouts of categories