Localization of the opposite category #
If a functor
L : C ⥤ D is a localization functor for
W : morphism_property C, it
is shown in this file that
L.op : Cᵒᵖ ⥤ Dᵒᵖ is also a localization functor.
L : C ⥤ D satisfies the universal property of the localisation
W : morphism_property C, then
L.op also does.