[mti]

The relevant category is really abelian group schemes (because DH necessarily works in a cyclic group), so 0 is quite reasonable.