Let $\Lambda$ be a preprojective algebra of type $A,D,E$, and let $G$ be the corresponding semisimple simply connected complex algebraic group. We study rigid modules in subcategories $\mathrm{Sub}Q$ for $Q$ an injective $\Lambda$-module, and we introduce a mutation operation between complete rigid modules in $\mathrm{Sub}Q$. This yields cluster algebra structures on the coordinate rings of the partial flag varieties attached to $G$.

We prove that the study of the category C-Comod of left comodules over a K-coalgebra C reduces to the study of K-linear representations of a quiver with relations if K is an algebraically closed field, and to the study of K-linear representations of a K-species with relations if K is a perfect field. Given a field K and a quiver Q = (Q₀,Q₁), we show that any subcoalgebra C of the path K-coalgebra K◻Q containing $K^{◻}Q₀\oplus K^{◻}Q₁$ is the path coalgebra $K^{◻}(Q,)$ of a profinite bound quiver (Q,), and the category C-Comod...