(めも)cpt.ってモナドとして解釈できるじゃないですか~Gelfand--Naimark・Serre--Swanが(loc.)cpt.で成り立つの、そっから(モナドの比較を上手く考えることで)説明できたりせんかな~?