The so-exact completion of a 2-category

Richard Garner – 18 April 2012

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.