Category:Conjugacy functor properties