inclusion of full subcat is fully faithful I