fully faithful functors, started work on coproducts