New pages quantum linear group, quantized function algebra (redirects also quantized coordinate ring) and quantized enveloping algebra which refer to certain special cases of a general family of notions of quantum group.

]]>started stub entry *sheaf of L-infinity algebras*, but it is still lacking some evident references

Originally I was going to add a comment on how to axiomatize in differential cohesion a sheaf of $L_\infty$-algebras over $X$ as a pointed object in $\mathbf{H}_{/X}$ which is sent by the reduction modality to an identity. But maybe I’ll better do this tomorrow, when I am more awake (or else whenever that happens again).

]]>