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.
Back