Add some stuff to algebraization statements

Fully faithfulness was missing...