Note on the universality and the functoriality of the perfect F-locality
In "Frobenius Categories versus Brauer Blocks" we have proved some universality of the so-called localizing functor associated with a Frobenius -category , where is a finite -group, with respect to the coherent -localities such that the contravariant functor maps any subgroup of to an Abelian -group. The purpose of this Note is both to move from the localizing functor to the perfect locality associated with and to remove the Abelian hypothesis in the target. As a consequence, we get the functoriality for the perfect localities in the strongest form, improving the Theorem 9.15 in "Existence, uniqueness and functoriality of the perfect locality over a Frobenius -category".