posic | Простой пример, который украсил бы полубесконечную книжку

Инд-про-аффинная инд-про-схема, плоская над инд-конечной инд-схемой над полем -- это то же самое, что полукоммутативная полуассоциативная полуалгебра, коплоская над кокоммутативной коассоциативной коалгеброй. (Соответствие не вполне тривиально -- используется конструкция перехода от тензорного к котензорному произведению из главы 10 полубеск. книжки.)