ParentFull threadmti·The relevant category is really abelian group schemes (because DH necessarily works in a cyclic group), so 0 is quite reasonable.View on HN