Template:Conjugacy functor property