We describe the free completion of a 2-category under quotients of mixed cateads; these last being the notion of "equivalence relation" appropriate to the (surjective on objects, injective on objects fully faithful) factorisation system on Cat or on any so-regular 2-category.
This is joint work with John Bourke.