The diagonal cohomology of the universal Steenrod algebra (Q1373286)

For the universal Steenrod algebra \(Q\) (defined by J. P. May), it is interesting to compute the cohomology algebra \(\text{Ext}_Q({\mathbf F}_2,{\mathbf F}_2)\). The author shows that the diagonal of \(\text{Ext}_Q({\mathbf F}_2,{\mathbf F}_2)\) is isomorphic to a certain completion of \(Q\) at a chain of ideals. The methods involve results about Koszul algebra.