schema_colimit c : [] ---------------------------------- mapping (getPseudo c) : getSchema c -> getPseudo c