A collection of useful category extensions