Powerful stuff

Dominic Verity – 3 June 2009

In the last talk Ross gave on the subject of powerful morphisms, he gave a hands on proof of the fact that pointwise and representably powerful internal functors in a finitely complete category E are themselves powerful in Cat(E). Based upon suggestions that Steve made after that talk, we present a simplified and far more conceptual proof of that result.